Definition, Konstruktionslogik und Ordnung einer Quotientengruppe