for X, Y being set holds dom [:X,Y:] c= X