for L being sup-Semilattice
for a, b being Element of L st a <= b holds
a "\/" b = b