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