for L being Nelson_Algebra
for a, b, c being Element of L st a <= b & b <= c holds
a <= c