---
tag: WCJBEBVFB8
kind: concept
name: Dependency relation
aliases: [concurrent-alphabet, independency-relation, reliance-alphabet]
sources:
  - wikipedia: en:10739341@r1330111201
    locator: Dependency relation
    note: adopted
    mention: wikipedia://en/10739341
    sections: [Summary]
same_as:
  wikidata: Q1169754
  wikipedia: Dependency relation
inventory: [RYJNK5TE6W]
---

## Summary

In computer science, in particular in concurrency theory, a **dependency relation** is a [[symmetric|061J5VGSPT]] and [[reflexive|0X8NMST0J2]] [[binary relation|05AVARPXA2]] on a finite domain $\Sigma$; i.e. a finite tolerance relation. That is, it is a finite set of [[ordered pairs|0JQWWFCS9R]] $D$, such that