theorem :: WAYBEL26:9

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