Can we define an ordered pair as $(a,b)=\{a,\{b\}\}$?
1508
How do I prove that a definition of an ordered pair does not satisfy the required property?
53101
Is it true that the relation |A| < |B| is a sufficient condition for claiming that $f$ is a bijection?
120911
Clarification on proof: Order of left cosets equal
128544
What are the subcategories of ordered sets / groups?
67717
$A \oplus B = A \oplus C$ imply $B = C$?
16476
Order of the product of two commuting elements with coprime orders in a group.
131946
Order of an Element Under a Homomorphism
118560
Ordered N-Tuples as Cartesian Products of Indexed Families
113211
Arithmetics of cardinalities: if $|A|=|C|$ and $|B|=|D|$ then $|A\times B|=|D\times C|$
56370
Associative operation on a set $S$
34973
Is it true that the order of $ab$ is always equal to the order of $ba$?
135250
Ordered Pair Formal Definition
36325
Embedding ordinals in $\mathbb{Q}$
138279
Multiplicative order and powers
8434
Order of $\mathbb{Z}[i]/(1+i)$
108957
Cardinality of a totally ordered union
145507
Is $K[a,b]=K(a,b)$ for algebraic $a, b$?