Relation R:
R(a,a)
R(0,x) x = 0, a, 1
R(x,1) x = 0, a, 1

Orthosupplement:
0 a 1
1 a 0

Candidates to generate: (0, a), (0, 1)*, (a, a)*