This bijection can be extended to a duality of categories between homomorphisms of finite distributive lattices and monotone functions of finite posets.
Cantor introduced the cardinal numbers, and showed that (according to his bijection-based definition of size) some infinite sets are greater than others.