theorem Th41: :: YELLOW_0:41

for L being with_suprema Poset
for a, b being Element of L holds sup {a,b} = a "\/" b