1.6.27 Fields, Groups, Rings

Problem: An algebraic system \( (X, *) \) with one binary operation "*" is given. Indicate what type (groupoid, semigroup, monoid, group) this system belongs to.