Definition 15.4. Define Sn(T)=SnM(∅) for any / some M⊨T (because if M,N⊨T, then SnN(∅)=SnM(∅) as Th(M)=Th(N)=T).