Ultrafilter § Group: 5 #group-5 Relations § Hyperreal: The construction of the hyperreal field involves the use of ultrafilters, which are mathematical objects used in model theory.