theorem Th13: :: NECKLA_3:13

for R being RelStr holds id the carrier of R misses the InternalRel of (ComplRelStr R)