Definition:Ordered Product