Let R\subseteq A*B be a binary relation from A to B , show that R is a function if and only if R^-1(not) R \subseteq idB and Rnot aR^-1 \supseteq both hold. Remember that Ida(idB) denotes the identity relation/ Function {(a.a)|a A} over A ( respectively ,B)
Please see the attachment ,I...