Así, decimos que formula_22 es una subred de formula_23 (donde formula_24 son conjuntos dirigidos) si y solo si existe una función formula_25 que verifica las siguientes dos propiedades: