Ruzsa (“ROO-zhah”) names a distance function between these objects that can be used to prove a bound on sums of these objects called Plünnecke’s inequality. Functors from a locally small category into the category of these objects are the subject of the Yoneda lemma. A class is called “proper” if it is “too big” to be expressed as one of these objects. If X is one of these objects, then X has size strictly smaller than that of “two to the X” by Cantor’s theorem. Problems with constructing these objects via unrestricted comprehension were resolved with a theory of these objects named for Zermelo and Fraenkel that was later extended to include the axiom of choice. Countably infinite instances of these objects have cardinality equal to that of the natural numbers. For 10 points, name these unordered collections of elements. ■END■
ANSWER: sets [accept subsets; accept set theory]
<Editors, Other Science>
= Average correct buzz position