Philosophy I / Relations, Functions and Power Sets
Practice question · Sort into groups

Sort each expression by what it counts.

Groups: Counts subsets · Counts ordered pairs · Counts functions

Hints
  1. Each formula answers a different counting question about sets.
  2. Functions assign one of B’s elements to each of A’s, independently.
Show the answer

Counts subsets: Two to the power of the size of A

Counts ordered pairs: The size of A times the size of B

Counts functions: Each input independently picks one of the outputs

Why

Subsets go as 2A2^{|A|} because each element is in or out; pairs as AB|A|\cdot|B|; functions as BA|B|^{|A|} because each input independently picks an output. All three are the same independence argument applied differently.

Read the lesson: Relations, Functions and Power Sets →

Practise Relations, Functions and Power Sets

The app has 5 more questions on this lesson, and keeps your place in the course. Philosophy I is free to start.

More questions on Relations, Functions and Power Sets