Groupprops:Section-tagging templates

Section-tagging templates are used in groupprops to tag particular sections of articles. Section-tagging templates are typically put right at the top of the section. In some cases, the section (or subsection) heading is also generated by the template itself.

Property/metaproperty satisfaction
Given an element, and a property, we want to know: does the element satisfy the given property? A good way of addressing this question is that for the article on the element, we devote a subsection to discussing whether the element satisfies the property, and the reasons for satisfying or not satisfying the property.

To standardize the heading and to make it clear whether the answer is yes or no, we have adopted property satisfaction templates. These automatically generate the relevant section header and an emhpasize line telling whether the property is satisfied.

A list of property satisfaction template types is present at:

Category: Property satisfaction template types

Just as we can ask whether an element satisfies a given poperty, we can ask whether a given property satisfies a given metaproperty. A list of metaproperty satisfaction template types is present at:

Category: Metaproperty satisfaction template types

Operator computation templates
Operator computation templates could be in two senses. One is where the given property or element (which is being defined) is one of the inputs to an operator or modifier. The other is where the given property or element (which is being defined) is obtained as the output (or result) of an operator computation.

In the former case, we use the operator computation with given input templates, which are listed at:

Category: Operator computation with given input template types