text: Если W {\displaystyle W} — подмножество V {\displaystyle V} , существует морфизм S ( V ) → S ( W ) {\displaystyle S(V)\to S(W)} , поэтому если S ( V ) {\displaystyle S(V)} не пусто, то и S ( W ) {\displaystyle S(W)} не пусто.