Dependence relation
In mathematics, a dependence relation is a binary relation which generalizes the relation of linear dependence.
Let be a set. A (binary) relation
between an element
of
and a subset
of
is called a dependence relation, written
, if it satisfies the following properties: