14
Examples
Hamiltonean path:
f = says that < is a total linear order
y = says that if x<y are consecutive, then R(x,y)
Little dirty secret
of SO (actually 9 SO): we don’t need order, because
we can express it !
f = says that < is a total linear order
y = says that if x<y are consecutive, then R(x,y)
9 <. (f Æ y)