Difference between revisions of "Template:Upper join-closed"

From Groupprops
Jump to: navigation, search
(Upper join-closedness)
 
Line 1: Line 1:
 
===Upper join-closedness===
 
===Upper join-closedness===
  
{{quotation|''This [[subgroup property]] is [[upper join-closed subgroup property|upper join-closed]], viz., if a subgroup has the property in two intermediate subgroups, it also has the property in their join''<br>[[:Category:Upper join-closed subgroup properties|View other such properties]]}}<includeonly>[[Category:Upper join-closed subgroup properties]]</includeonly><noinclude>[[Category:Subgroup metaproperty satisfaction templates]]</noinclude>
+
{{quotation|''This [[subgroup property]] is [[satisfies metaproperty::upper join-closed subgroup property|upper join-closed]], viz., if a subgroup has the property in a collection of intermediate subgroups, it also has the property in their join''<br>[[:Category:Upper join-closed subgroup properties|View other such properties]]}}<noinclude>[[Category:Subgroup metaproperty satisfaction templates]]</noinclude>

Latest revision as of 22:49, 17 May 2010

Upper join-closedness

This subgroup property is upper join-closed, viz., if a subgroup has the property in a collection of intermediate subgroups, it also has the property in their join
View other such properties