Group Definition Expanded - Abstract Algebra