Set of ordered pairs defining a connection between elements of sets.