Proper characteristic subgroup

Symbol-free definition
A subgroup of a group is termed a proper characteristic subgroup if it satisfies both these conditions:


 * It is a proper subgroup
 * It is a characteristic subgroup