Аңдатпа
We introduce a first-order relational framework for anti-algebraic structures inspired by neutrosophic anti-groups. We formalize anti-axioms corresponding to the negation of classical group properties, analyze their logical dependencies, and provide a complete classification of realizable anti-types. In particular, we show that there exist exactly 20 distinct anti-types, each realized by a finite structure. Connections with hypergraph theory and combinatorics are also discussed.