for L being non empty RelStr
for X, Y being Subset of L
for x, y being Element of L st x in X & y in Y holds
x "/\" y in X "/\" Y ;