Here is another question and answer from my FPM Piazza forum last autumn.
Question: Suppose that
is a set with two elements, say
. When looking at elements of the Cartesian square
, are
and
the same element, or are they different elements? Does
have four different elements, or only three?
My answer:
Hi,
The key term in the definition of Cartesian squares, and generally Cartesian products, is “ordered pair”. When you use standard round brackets in this way, the order does matter. You have specified a first coordinate and a second coordinate.
For example, if you work in
, the point
(which lies on the x-axis) is different from the point
(on the y-axis).
Many of the sets
we have looked at are subsets of
, and this results in
being a subset of
. When this happens, you can often think of points in our Cartesian square as being points in 2-dimensional space.
For example, if
, then
has four different points, which you can think of as being points in
that are at the corners of a square:

On the other hand, if
is the closed interval
, then
really is the “unit square”
.
Best wishes,
Dr Feinstein