Theorem 2.4 ([1]}) 
The set of all S-functions forms a complete distributive lattice when equipped with the pointwise ordering. Furthermore, the function \(G \mapsto \operatorname{\mathbf {tw}}(G) + 1\)  is maximal in this lattice.

