insieme vuoto
insieme vuoto locuzione con cui si indica l’unico insieme privo di elementi, che è sottoinsieme banale di qualunque insieme. È indicato con ∅ e può essere definito intensionalmente da qualunque asserzione che non sia verificata da alcun elemento: per esempio, ∅ = {numeri naturali che sono contemporaneamente pari e dispari} o anche ∅ = {coltelli senza manico di cui si è persa la lama} (aforisma proposto dal fisico e scrittore Georg Christoph Lichtenberg (1742-99)).