theorem Th12: :: NECKLA_3:12
for R being RelStr holds the InternalRel of R misses the InternalRel of (ComplRelStr R)