quotient algebra

construction in universal algebra