# Sub-closure operator

This article defines a subgroup property modifier (a unary subgroup property operator) -- viz an operator that takes as input a subgroup property and outputs a subgroup propertyView a complete list of subgroup property modifiers OR View a list of all subgroup property operators (possibly with multiple inputs)

BEWARE!This term is nonstandard and is being used locally within the wiki. [SHOW MORE]

## Definition

Let be a strongly intersection-closed subgroup property, viz a subgroup property that is satisfied by the whole group as a subgroup of itself, and such that an arbitrary intersection of subgroups with property also satisfies property .

Then, a subgroup of a group is said to be a times sub--closure if we have a sequence:

where is the smallest subgroup containing that satisfies property in .

A subgroup is termed a sub--closure if it is a times sub--closure for some finite positive integer .

## Relation with other operators

### In general

In general, we have three different things:

- The subordination of the property, which is the weakest
- The sub-closure of the property, which is somewhere in between
- The property itself, which is the strongest.

### When it is the same as the original property

Clearly, if the given subgroup property is transitive it equals both its sub-closure and its subordination.

### When the sub-closure equals the subordination

Clearly, in the event that the subgroup property is itself transitive, it equals both. However, even if it is not transitive, it is common to expect that the sub-closure equals the subordination. This happens, for instance, if the subgroup property satisfies the intermediate subgroup condition.