for S being COM-Struct holds 0 in dom (Stop S) by TARSKI:def 1;