for R being non empty total RelStr
for x being Element of R holds x in field the InternalRel of R