In computer science, in particular in concurrency theory, a dependency relation is a symmetric and reflexive binary relation on a finite domain ; i.e. a finite tolerance relation. That is, it is a finite set of ordered pairs , such thatIf then (symmetric) If , then (reflexive)