Dadas dos categorías formula_1 y formula_44, diremos que formula_44 es una subcategoría de formula_1 si: