Right residual operator for composition

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

For its use outside the wiki, please define the term when using it. If you are aware of an equivalent standard term, please leave a comment on the talk page
VIEW: Definitions built on this | Facts about this: (facts closely related to Right residual operator for composition, all facts related to Right residual operator for composition) |Survey articles about this | Survey articles about definitions built on this
VIEW RELATED: Analogues of this | Variations of this | Opposites of this |
Learn more about terminology local to the wiki | view a complete list of such terminology

This is a binary subgroup property operator, viz an operator that takes as input two subgroup properties, and outputs one subgroup property

Definition

Property-theoretic statement

Suppose $p,q$ are two subgroup properties. The right residual of $p$ by $q$ is the unique subgroup property $r$ such that:

$q*s\leq p\iff s\leq r$.

Here, $*$ denotes the composition operator.

Statement with symbols

Suppose $p,q$ are two subgroup properties. The right residual of $p$ by $q$ is defined as the subgroup property $r$ as follows:

$H$ has property $r$ in $G$ if whenever $K$ is a subgroup of $H$ with property $q$ in $H$, $K$ has property $p$ in $G$.

Facts

Relation with right transiter

Further information: Right transiter

The right transiter of a subgroup property $p$ is defined as the right residual of $p$ by itself.