theorem Th28: :: SYSREL:28

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