Search results
Results From The WOW.Com Content Network
The ordered pair (a, b) is different from the ordered pair (b, a), unless a = b. In contrast, the unordered pair, denoted {a, b}, equals the unordered pair {b, a}. Ordered pairs are also called 2-tuples, or sequences (sometimes, lists in a computer science context) of length 2. Ordered pairs of scalars are sometimes called 2-dimensional vectors.
For example, "is a blood relative of" is a symmetric relation, because x is a blood relative of y if and only if y is a blood relative of x. Antisymmetric for all x, y ∈ X, if xRy and yRx then x = y. For example, ≥ is an antisymmetric relation; so is >, but vacuously (the condition in the definition is always false). [11] Asymmetric
Illustration of a plane, showing the absolute values (unsigned dotted line lengths) of the coordinates of the points (2, 3), (0, 0), (−3, 1), and (−1.5, −2.5). The first of these signed ordered pairs is the abscissa of the corresponding point, and the second value is its ordinate.
A 1‑tuple is called a single (or singleton), a 2‑tuple is called an ordered pair or couple, and a 3‑tuple is called a triple (or triplet). The number n can be any nonnegative integer . For example, a complex number can be represented as a 2‑tuple of reals, a quaternion can be represented as a 4‑tuple, an octonion can be represented as ...
Note that a singleton is a special case of a pair. Being able to construct a singleton is necessary, for example, to show the non-existence of the infinitely descending chains = {} from the Axiom of regularity. The axiom of pairing also allows for the definition of ordered pairs.
A partially ordered set (poset for short) is an ordered pair = (,) consisting of a set (called the ground set of ) and a partial order on . When the meaning is clear from context and there is no ambiguity about the partial order, the set X {\displaystyle X} itself is sometimes called a poset.
It follows that, two ordered pairs (a,b) and (c,d) are equal if and only if a = c and b = d. Alternatively, an ordered pair can be formally thought of as a set {a,b} with a total order . (The notation ( a , b ) is also used to denote an open interval on the real number line , but the context should make it clear which meaning is intended.
A relation R containing only one ordered pair is also transitive: if the ordered pair is of the form (,) for some the only such elements ,, are = = =, and indeed in this case , while if the ordered pair is not of the form (,) then there are no such elements ,, and hence is vacuously transitive.