for L being non empty Poset
for x, y, z being Element of L st x << y & y << z holds
x << z