Dado un conjunto de relaciones formula_26, siempre es posible definir un conjunto que satisface estas relaciones.