 One last ingredient is required before we can state the indistinguishability interpretation in its full generality. In the example above, it was shown that the indistinguishability relation was both symmetric and reflexive. Formally, these properties may be defined as follows: