Definition:Product of Order Types