given are mathematical objects, is an ordered pair, , as an example, the coordinates on a function is an ordered pair
if and are any objects (possibly equal), we define the ordered pair to be a new object, consisting of as its first component and as its second component. two ordered pairs and are considered equal if and only if both their components match, i.e.,