for X, Y, Z being set st union Y c= Z & X in Y holds
X c= Z