Intermediately operator preserves join-closedness

From Groupprops
Jump to: navigation, search