Preordered field

Summary