Examples of spaces satisfying the 12 global orderings on KFG.

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

Main file: thm_6_main.c

Download all: thm_6.zip