Mathematical Foundations and Proofs
Explore sets and relations; logic and statements; proof and infinity. Concepts and connections are available independently of video coverage.
FOLLOW AN IDEA
Injectivity distinguishes inputs by outputs; surjectivity reaches every element of the codomain.
Explore concept graph · Explore connected videos
No reviewed video yet. Explore the concept in a map or suggest a resource. Suggest a video
A bijection is both injective and surjective and has a two-sided inverse.
A sufficient condition implies a conclusion; a necessary condition is implied by that conclusion.
An axiomatic theory derives theorems from stated axioms and inference rules.
A Cartesian product consists of ordered pairs with one component from each set.
A set is countable if it is finite or can be enumerated by natural numbers.
Explore sets and relations; logic and statements; proof and infinity. Concepts and connections are available independently of video coverage.