El conjunto "A" junto con las dos leyes definidas se representa con la terna formula_61.