theorem Th13: :: FRECHET:13

for A, B being set st B c= A holds
(id A) .: B = B