Definition:Restricted Ordering