Template:Logicist subgroup property

This article defines a subgroup property in the context of a group, possibly with additional structures and operations, as studied by logicists