What is Injection? (Set Theory)

An explanation of injective functions in set theory.

This series covers the basics of set theory and higher order logic. In this month we are looking at the Operations and Relations of Sets. This month includes unions, intersections, differences, power sets, Cartesian products, functions, ordered pairs and more! We are also looking at the fifth and sixth axioms of a basic universe, following Neumann Berneays Gödel (NBG) set theory. In the next month we will look at Peano Arithmetic. (#SetTheory #Logic)

Sponsors: Joshua Furman, Joshua Opell, NBA_Ruby, Eugene SY, Antoinemp1, Antibody, Ismail Fagundes, Adrien Ecoffet, Tom Amedro, Christopher McGevna, Joao Sa, and Dennis Sexton. Thanks for your support!

Information for this video gathered from The Stanford Encyclopedia of Philosophy, The Internet Encyclopedia of Philosophy, The Cambridge Dictionary of Philosophy, The Oxford Dictionary of Philosophy and more!

[michaellewis]

I was able to do a partial diagram of the injection of A to B. Working out the proof will take some time.