👉 In mathematics, a non-distributive relation is a binary relation that does not distribute over its inverse. In other words, if \(A\) and \(B\) are elements of a set, then for every element \(x\) in the domain of \(A\), there exists an element \(y\) in the range of \(A\) such that \(x \neq y\) but \(x \not= y^
= x^
\).
For example, if we have two sets