Trim subgroup property

Symbol-free definition
A trim subgroup property is a subgroup property that satisfies the following:


 * It is trivially true: That is, the trivial subgroup always satisfies this property.
 * It is identity-true: That is, every group satisfies the property as a subgroup of itself.