Trivially true subgroup property

Symbol-free definition
A subgroup property is said to be trivially true if, in any group, the trivial subgroup (that is, the subgroup comprising only the identity element) satisfies the property.

Conjunction with other properties

 * Trim subgroup property: This is the conjunction of being trivially true and identity-true

Opposites
A metaproperty that is almost the negative of being trivially true subgroup property, is that of being trivially collapsed.