: If we are informed that a particular element of the class has the property, then this information is irrelevant if and are mutually independent within α; irrelevant namely, to the question whether this element also has the property, or not.