In [1]} we demonstrated that imposing a total order on conjunctive logistic basis functions implied some basic closure properties of the SILL dictionary. We show in this section proofs that apply this total order as steps to showing the uniform finite closure of the SILL and augSILL dictionaries. The needed total order is summed up in the following assumption.
