Finite-(Frattini-embedded normal)-realizable group
This article defines a property that can be evaluated for finite groups (and hence, a particular kind of group property)
View other properties of finite groups OR View all group properties
(note that the two conditions are not equivalent for infinite groups). The latter condition is termed being a Frattini-embedded normal subgroup.