Más en general, se denota al conjunto de todas las matrices de orden formula_28 con eficientesformula_31por formula_32