Alternate Definitions for subinfinite

include archived terms