存在性规则描述某个事物在什么情况下可以存在及其何时开始存在的规则。存在性规则表示的是特定对象可以存在的条件，这类规则通常是类模型的固有成分。存在性规则可以表示为一个类不变量。
例如，对于图3-10中的Option类的对象来说，“到期日期（expirationDate）小于当前日期”就是一个关于Option对象的存在性约束，图3-10描述了这个约束。
图3-10 存在性规则
