Definition:Pair


 * Definition:Ordered Pair