Template:Finitarily tautological group property

''This property makes sense for infinite groups. For finite groups, it is always true''