Comparing infinite sets — a process of abstraction