Utilisateur
kongruens
tom mängd
kardinalitet (antal element i mängd S)
implikation (om ... så; om A är sann så är B sann)
ekvivalens (omm; om och endast om; A == B)
eftersom
alltså
och
eller
inte
sådant att
för alla
det finns
i; tillhör (elementet a tillhör mängden A)
delmängd (A ingår i B)
supermängd (A innehåller B)
union
snitt
mänddifferens
naturliga tal (icke-negativa heltal)
heltal
rationella tal (bråk)
reella tal
komplexa tal
fakultet (3! = 6)
absolut värde
summa
produkt