In computer science, in particular in concurrency theory, a dependency relation is a binary relation on a finite domain, symmetric, and reflexive; i.e. a finite tolerance relation. Wikipedia