Un conjunto dirigido es un par formula_1 en el que formula_2 es un conjunto y formula_3 es una relación en formula_2 que verifica las siguientes propiedades: