theorem Th23: :: NECKLA_3:23

for G being non empty RelStr
for H being non empty full SubRelStr of G st G is N-free holds
H is N-free