Prerequisite relationship

a directed relationship between concepts where the dependent concept cannot be achieved without the prerequisite concept, characterized by necessity, asymmetry, and transitivity, and forming a directed acyclic graph structure