theorem Th28: :: XBOOLE_1:28

for X, Y being set st X c= Y holds
X /\ Y = X