# Trim subgroup property

From Groupprops

This article defines a subgroup metaproperty: a property that can be evaluated to true/false for any subgroup property

View a complete list of subgroup metaproperties

View subgroup properties satisfying this metaproperty| View subgroup properties dissatisfying this metapropertyVIEW RELATED: subgroup metaproperty satisfactions| subgroup metaproperty dissatisfactions

## Contents |

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

## Definition

### 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.