Let and be objects. Write for the set whose only element is , and for the set whose elements are exactly and .
The \textbf{ordered pair} of and is the set
In this expression is the \textbf{first component} and is the \textbf{second component}.
Loading…
Prerequisites
No prerequisites tracked.
Dependents
No dependents yet.
Dependent proofs
No dependent proofs yet.
No relations recorded yet.