L'insieme costituito da un solo punto ha misura nulla (in ogni dimensione n); perciò anche tutti gli insiemi costituiti da un numero finito o numerabile di punti hanno misura nulla; in particolare, l'insieme dei punti aventi coordinate razionali.
È 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 ...
Un insieme A si dice vuoto quando non contiene alcun elemento, e scriviamo A = ∅ A = \emptyset A=∅. Diremo che due insiemi A e B sono uguali quando essi contengono esattamente gli stessi elementi.
Sostanzialmente un insieme misurabile si ha quando si comporta come l'intuito suggerisce quando ne viene presa una parte. In generale per provare la misurabilità si va con la definizione, non ci sono Teoremi di carattere generale. Comunque spesso la misurabilità è garantita dal contesto.
Il simbolo ⊆ viene detto simbolo di inclusione. La scrittura B⊆A (o A⊇B) si legge “B è contenuto in A” (o “A contiene B”). Se esiste un elemento di A che non appartiene a B, l'insieme B si dice sottoinsieme proprio di A e si scrive B⊂A.