Relation R (linear order):
R(0,x) x = 0, 1
R(x,1) x = 0, 1

Orthosupplement:
0 1
1 0

Candidates to generate: (0, 1)*