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.,
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.,