Upper bounds are sharp in Corollaries 17 and 18.

Header files: set_operators.h, set_families.h, set_relations.h, collapses.h, topologies.h

Main file: sharpness_main.c

Download all: sharpness.zip