theorem Th22: :: WAYBEL16:22

for L being Semilattice holds Irr L c= IRR L