theorem Th11: :: WAYBEL26:11

for X, Y being non empty TopSpace
for f being continuous Function of Y,Y st f is idempotent holds
oContMaps (f,X) is idempotent