theorem Th22: :: NECKLA_3:22

for G being non empty RelStr
for H being non empty full SubRelStr of G holds G embeds H