Nomenclatura

∈  simbolo di appartenenza

∉  simbolo di non appartenenza

N  insieme degli interi naturali + 0

Z  insieme degli interi relativi

Q  insieme dei numeri razionali

R  insieme dei numeri reali

I  insieme dei numeri immaginari

C  insieme dei numeri complessi

⋃  unione fra insiemi

⋂  intersezione fra insiemi

⊂  inclusione fra insiemi in senso stretto

⊆  inclusione fra insiemi in senso largo

|  tale che

×  prodotto cartesiano fra insiemi

∅  insieme vuoto

A  complementare all'insieme A rispetto all'insieme ambiente

∃  quantificatore esistenziale (esiste)

∀  quantificatore universale (per ogni)

∨  disgiunzione fra proposizioni o predicati (o) (oppure)

∧  congiunzione fra proposizioni o predicati (e) (simultaneamente)

q  negazione della proposizione q

→  implicazione materiale fra proposizioni o predicati

↔  coimplicazione materiale fra proposizioni o predicati

⇒  implicazione logica

⇔  equivalenza logica