for L being non empty RelStr
for a being Element of L
for N being net of L holds a "/\" N is net of L