I have long suspected that:
- Identity: Groups are the forms in which the maximum of identity between terms and relations is realized.
Ideality: This particular kind of identity is criterial for ideality, so that groups are eide.
Plurality: Significantly, this maximal identity is only realized in each case of a concrete plurality of individual groups, not in a synthesis of all groups (DNE), and not by the concept of a group in general. (Groups behave more like Platonic ideas-forms than the post-Kantian Idea/Concept.)
Participation: A concept of participation seems to fall naturally out of this conception of groups, when we add relations to nongroups (as when we speak of the group of a space, etc.)