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 !
9
<. (
f
Æ
y
)