for L being non empty RelStr
for N being non empty NetStr over L
for x being Element of L holds (x "/\") * N = x "/\" N