Definición axiomática de un grupo (cierre, ley de asociatividad, etc.)