Rigorous Reasoning

Concept · Foundations

Cartesian Product

The Cartesian product A × B of two sets is the set of all ordered pairs (a, b) where a ∈ A and b ∈ B.

Why it matters

The Cartesian product turns pairs of sets into a new set and is the construction that lets relations and functions be defined set-theoretically.

Where this shows up

Units and lessons using this concept

Following the links will take you to the page where this term is introduced in context.

Related

Other concepts in Foundations

A, E, I, O PropositionsAccessibility RelationArgumentAtomic StatementAuthorial IntentBase RateBayes FactorBurden of Proof in InterpretationCalibrationCardinalityCategorical PropositionCategorical Syllogism