Definition:Ordered Quadruple