for X, Y being set st Y c= X holds
(RelIncl X) |_2 Y = RelIncl Y