An ordered pair is a pair of two objects, usually denoted , in which we consider the order of the two objects to be important. Thus, the ordered pair is different from the ordered pair . This should be contrasted with the notion of set (or multiset), in which we have . In general, we say two ordered pairs, and are the same if and only if and .
The notion of an ordered pair can be naturally extended to that of an ordered tuple.
Order is necessary, when things aren't commutative. Also assume we have a restriction in a problem, such that at all times. In order to efficiently test possibilities, we should order after (to input its value into calculating the minimum b) in any programming or math. We don't waste time, to figure out already known impossible solutions, in this implementation.