Any set of ordered pairs; (on a set a) collection of ordered pairs of elements of a, subset of the parts of a; (between two sets a and b) collection of ordered pairs with first element in a and second element in b