[fixed] definition/verification for algebraic structures