Alternate Definitions for Theory of structures

include archived terms