preordered

not defined yet