A proper subgroup of a group is a subgroup of such that .
The only subgroup of that is not a proper subgroup is itself, which may therefore occasionally be called an improper subgroup.