for L being non empty RelStr
for X being Subset of L holds X "/\" ({} L) = {}