This is an old revision of the document!
Ordered pair
Definition
| $ X,Y $ |
| $ \langle X,Y \rangle $ |
|---|
| $ \{\{X\},\{X,Y\}\} $ |
|---|
Ramifications
Satisfies
| $ (\langle x,y \rangle = \langle z,u \rangle) \Leftrightarrow (x=z \land y=u) $ |
|---|
Reference
Wikipedia: Ordered pair
Context
Parents
