Relation from A to B is a subset of A × B.
Universal relation defined on AxB is symmetric, where A is not a subset of B