Неизменяемый тип, который может содержать значение или ссылку. Каждый экземпляр этого типа либо содержит ненулевое значение или ссылку, либо ничего не содержит (в этом случае мы говорим, что ссылка «отсутствует»; никогда не говорится, что она «содержит null»).