Can someone explain the logic behind Maybe (and I suppose Defined and Undef)?

[Elliot Shank]

Why isn't there simply a part of an attribute specification where you say 
whether undef is allowed or not?