for L being Semilattice holds Irr L c= IRR L