La tipología fundamentada en la forma de la regla de cálculo es la más habitual.