for X, Y being set st union X c= Y holds
X c= bool Y