Yeah, we gonna need more rigor on this one.

"A square is a shape made up of four equally long lines a, b, c, d where a is perpendicular to c and d and parallel to b. Each of these lines meet exactly two other lines at it's ends."

I'm not a mathematician so there might an odd case somewhere in there. Maybe it has to be confined to a shared plane?