Trivial subgroup

Definition
A subgroup of a group is said to be the trivial subgroup or satisfy the trivial property if and only if it is the trivial group (viz the group with one element, the identity element).

Related metaproperties

 * Trivially true subgroup property is the subgroup metaproperty of being weaker than the trivial property. In other words, a subgroup property is said to be trivially true if it is always satisfied by trivial subgroups.