C
omplete_
N
on_
O
rders
Binary_Relations
Well_Relations
Directedness
Complete_Relations
Fixed_Points
Continuity
Kleene_Fixed_Point