3.7.93. Equality

Denotes the fact that the notion of equality can be used within the informal definition of a constraint.