for X, Y being set holds [:X,Y:] c= bool (bool (X \/ Y))