Group Definition In Group Theory