Checking for the product structure
We often need to check whether a particular set A has the product structure with respect to one of its dimensions, for instance, the i-th dimension.
Let B be the set of all elements xÎ DÁ\i such that there exists some yÎDi such that x and y together are coordinates of a point in A. Then A has the product structure with respect to the i-th dimension iff