for X, Y being set st X c= Y holds
On X c= On Y