Link Details

This is the main difference between sets defined in libraries like in Java or Scala and sets in general: general sets, e.g. those defined by Zermelo axioms, can be expressed in code as predicates; since there is no reasonable way to list all objects that satisfy a given predicate, all calculations become either impossible or extremely inefficient. We should not worry about it, though. Quoting my colleague OD, "For an average coder a 'set' is a kind of a data structure, not fancy stuff Zermelo wrote about."