2.5 Assume that a rectangle is represented by the term rectangle( P1, P2, P3, P4) where the P's are the vertices of the rectangle positively ordered. Define the relation: regular(R) which is true if R is a rectangle whose sides are vertical and horizontal.