Symbole

M, ...	Menge im „naiven“ Sinn
a, b, ...	Mengen im Rahmen von ZFC
`𝑨, 𝑩, ...`	Klassen
m ∈∈ 𝑲	m gehört zu 𝑲
e ∈∈ m	e ist Element von m
a `⊆` b	a ist Teilmenge von b
a ∼ b	a ist äquivalent zu b
A `≅` B	A ist isomorph zu B
x < y	x ist kleiner als y
a ≼ b	a ist höchstens so mächtig wie b