Definition: The relation (e1 DPND e2) characterizes the extensional e1 as dependent on the extensional e2. The relation DPND is not symmetric and not reflexive.
(e1 DPND e2)
e1
e2
DPND