The product topology has as a basis of a topology all sets , where is open in and is open in . Open sets are arbitrary unions of these rectangles. The projection maps are and . For any open and ,
These are open rectangles, including the empty case. Taking inverse images of open sets therefore proves that both projection maps are continuous functions.