Maximal semilattice quotient
 
x
OK