theorem Th26: :: SYSREL:26

for R being Relation holds dom (CL R) = rng (CL R)