Cartesian product

Given two classes X and Y. The Cartesian product X×Y is the class of ordered pairs defined as follows.

X×Y ≝ {(x,y): x ∈ X and y ∈ Y}

This article is issued from Wikiversity - version of the Tuesday, August 23, 2011. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.