for R being non empty RelStr
for X being Subset of R
for x being set st x in UAp X holds
Class ( the InternalRel of R,x) meets X