(Here we are assuming that constants are names for themselves—i.e. they are also members of the domain.)
(这里我们假定常量是以自身命名的--就是说它们也是这个域的成员)。