theorem :: YELLOW_4:36

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