Relation R: (non-transitive) R(a,a), R(a,c) R(b,b) R(c,b), R(c,c) R(0,x) x = 0, a, b, c, 1 R(x,1) x = 0, a, b, c, 1 Orthosupplement: 0 a b c 1 0 b a c 1 Candidates to fill: (0, a), (0, b), (0, c), (0, 1)*, (a, b)*, (a, c), (c, c)*