An implementation-defined relation between the values of MAC labels or of Information Labels. Two labels are equivalent if each of the labels dominates the other.