for L being non empty RelStr
for S being non empty SubRelStr of L
for x being Element of S holds x is Element of L