Finite-join-closedness is left residual-preserved

From Groupprops
Jump to: navigation, search