Dersom og er to mengder, så er antall ordnede par som kan lages, med og , lik . Mer generelt er kardinaliteten til det kartesiske produktet .