ABSTRACT
For example, if A is the set of all people and B is the set of all objects, then ownership is a relation between A and B. In this case, a person p is related to an object a iff p owns a.
Again, if U is a universal set and A is a collection of subsets of U , the membership relation ∈ is a relation between U and A.
