# Characteristic of CDIN implies CDIN

This article describes a computation relating the result of the Composition operator (?) on two known subgroup properties (i.e., Characteristic subgroup (?) and CDIN-subgroup (?)), to another known subgroup property (i.e., CDIN-subgroup (?))
View a complete list of composition computations
This article gives the statement and possibly, proof, of an implication relation between two subgroup properties. That is, it states that every subgroup satisfying the first subgroup property (i.e., characteristic subgroup) must also satisfy the second subgroup property (i.e., left-transitively CDIN-subgroup)
View all subgroup property implications | View all subgroup property non-implications

## Statement

### Statement with symbols

Suppose $H \le K \le G$ are groups such that $H$ is characteristic in $K$ and $K$ is a CDIN-subgroup of $G$. Then $H$ is a CDIN-subgroup of $G$.