for X, Y, Z, V being set st X c= Y & Z c= V holds
X /\ Z c= Y /\ V