for R being non empty RelStr
for N being Subset of R
for x being set st x in min-classes N holds
not x is empty