Un tipo non modificabile che può contenere un valore o un riferimento. Ogni istanza di questo tipo contiene un valore o un riferimento non nullo o non contiene nulla (nel qual caso diciamo che il riferimento è "assente"; non si dice mai che "contenga null").