Indirect revealed preference (source code)

= Indirect revealed preference
{title2=$R=(R_D\cup\Delta)^*$}

The weak <indirect revealed preference> is the <reflexive closure> of the <transitive closure of a relation> of direct revealed comparisons. Equivalently, it consists of finite chains, including chains of length zero. The diagonal convention is essential if the relation is to be an intersection of complete weak <preference relations> on all alternatives.