theorem Th34: :: SYSREL:34

for R being Relation holds
( id (dom (CL R)) c= R & id (rng (CL R)) c= R )