Search results

Page title matches

• Template:Subgroup metametaproperty
  This article defines a subgroup metametapropertyView a complete list ... Category:Subgroup metametaproperties ... ...
  230 bytes (24 words) - 17:12, 17 September 2008
• Template:Subgroup metametaproperty satisfaction
  {{metametaproperty satisfaction (generic)| context space = subgroup| ... metametaproperty = } }} | {{metametaproperty satisfaction (generic)| ... ...
  251 bytes (18 words) - 12:12, 17 September 2008
• Category:Subgroup metametaproperty satisfactions
  subgroup ... ...
  12 members (0 subcategories, 0 files) - 20:14, 31 October 2008
• Category:Subgroup metametaproperty dissatisfactions
  subgroup ... ...
  1 member (0 subcategories, 0 files) - 20:20, 31 October 2008
• Template:Subgroup metametaproperty dissatisfaction
  {{metametaproperty dissatisfaction (generic)| context space = subgroup| ... metametaproperty = }| first corollary = } }} | {{metaproperty dissatisfaction ... ...
  588 bytes (35 words) - 03:50, 19 August 2021

Page text matches

• Template:Metametaproperty dissatisfaction (generic)
  that it does not satisfy the subgroup metametaproperty/metameteaproperties: ... Category:Metametaproperty dissatisfaction proof templates ... ...
  2 KB (213 words) - 03:49, 19 August 2021
• Finite-conjugate-join-closedness is left residual-preserved
  {{subgroup metametaproperty satisfaction| metaproperty = finite-conjugate-join-closed subgroup property| metametaproperty = left residual-preserved ... ...
  171 bytes (12 words) - 20:35, 31 October 2008
• Template:Disjunction-closed subgroup metaproperty
  This subgroup metaproperty is disjunction-closed: an arbitrary disjunction ... Category:Subgroup metametaproperty satisfaction templates ... ...
  536 bytes (47 words) - 18:46, 15 August 2009
• Template:Conjunction-closed subgroup metaproperty
  This subgroup metaproperty is conjunction-closed: an arbitrary conjunction ... Category:Subgroup metametaproperty satisfaction templates ... ...
  533 bytes (46 words) - 18:45, 15 August 2009
• Template:Subgroup metametaproperty satisfaction
  {{metametaproperty satisfaction (generic)| context space = subgroup| ... metametaproperty = } }} | {{metametaproperty satisfaction (generic)| ... ...
  251 bytes (18 words) - 12:12, 17 September 2008
• Template:Subgroup metametaproperty dissatisfaction
  {{metametaproperty dissatisfaction (generic)| context space = subgroup| ... metametaproperty = }| first corollary = } }} | {{metaproperty dissatisfaction ... ...
  588 bytes (35 words) - 03:50, 19 August 2021
• Template:Not disjunction-closed subgroup metaproperty
  This subgroup metaproperty is not disjunction-closed: an arbitrary disjunction (OR) of subgroup properties satisfying this metaproperty, need ... ...
  481 bytes (45 words) - 18:47, 15 August 2009
• Category:Subgroup metametaproperty satisfactions
  subgroup ... ...
  12 members (0 subcategories, 0 files) - 20:14, 31 October 2008
• Category:Subgroup metametaproperty dissatisfactions
  subgroup ... ...
  1 member (0 subcategories, 0 files) - 20:20, 31 October 2008
• Template:Singleinput
  This article defines a satisfies metametaproperty::single-input-expressible subgroup metaproperty ... ...
  115 bytes (10 words) - 23:08, 19 February 2013
• Transfer condition is composition-closed
  {{subgroup metametaproperty satisfaction| metaproperty = transfer condition| ... transfer condition satisfies the subgroup metametaproperty of being composition ... ...
  1 KB (205 words) - 12:07, 17 September 2008
• Intersection-closedness is left residual-preserved
  {{subgroup metametaproperty satisfaction| metaproperty = intersection ... for composition of an intersection-closed subgroup property by any subgroup ... ...
  380 bytes (35 words) - 19:23, 17 September 2008
• Conjugate-join-closedness is left residual-preserved
  {{subgroup metametaproperty satisfaction| metaproperty = conjugate ... composition of a conjugate-join-closed subgroup property by any subgroup ... ...
  385 bytes (35 words) - 20:34, 31 October 2008
• Transfer condition is subordination-closed
  {{subgroup metametaproperty satisfaction| metaproperty = transfer condition| ... transfer condition satisfies the subgroup metametaproperty of being subordination ... ...
  932 bytes (100 words) - 01:11, 14 August 2009
• Transfer condition operator preserves transitivity
  {{subgroup metametaproperty satisfaction| metaproperty = transitive ... Suppose p is a fact about::transitive subgroup property. If T denotes ... ...
  562 bytes (63 words) - 01:00, 14 August 2009
• Template:Subgroup metametaproperty
  This article defines a subgroup metametapropertyView a complete list ... Category:Subgroup metametaproperties ... ...
  230 bytes (24 words) - 17:12, 17 September 2008
• Right transiter-closed subgroup metaproperty
  A subgroup metaproperty \alpha is termed right transiter-closed if whenever a subgroup property p satisfies \alpha, so does the right transiter of p. ... ...
  266 bytes (34 words) - 00:11, 8 May 2008
• Left transiter preserves intersection-closedness
  {{subgroup metametaproperty satisfaction| metaproperty = intersection ... The left transiter of an intersection-closed subgroup property is ... ...
  816 bytes (72 words) - 19:21, 17 September 2008
• Disjunction-closed subgroup metaproperty
  A subgroup metaproperty p is termed disjunction-closed if an arbitrary ... * Weaker than::Single-input-expressible subgroup metaproperty ... ...
  385 bytes (41 words) - 17:14, 17 September 2008
• Finite-join-closedness is left residual-preserved
  {{subgroup metametaproperty satisfaction| metaproperty = finite-join ... for composition of a finite-join-closed subgroup property by any subgroup ... ...
  980 bytes (88 words) - 20:12, 31 October 2008