Los conjuntos de items formula_10 y formula_11 se denominan respectivamente "antecedente" (o parte izquierda) y "consecuente" (o parte derecha) de la regla.