= egalitate este egal cu ... nu este egal cu ... ≠ neegalitate este diferit de ... este mai mic decât ... < sau > inegalitate strictă este mai mare decât ..... este mai mic sau egal cu ... ≤ sau ≥ inegalitate este mai mare sau egal cu ... implică, rezultă => implicație dacă ... atunci echivalent <=> echivalență dacă și numai dacă oricare ∀ cuantificator universal pentru fiecare cuantificator Ǝ existențial există cuantificator de Ǝ! unicitate există și este unic aparține apartenență ∈ sau ∈ nonapartenență nu aparține 6y6t5tttttttt