However, MSO1 and MSO2 can be extended to logics called CMSO1 and CMSO2, that include for every two constants q and r a predicate card q , r ⁡ ( S ) {\displaystyle \operatorname {card} _{q,r}(S)} which tests whether the cardinality of set S is congruent to r modulo q.
Однако MSO1 и MSO2 могут быть расширены до логик, называемых CMSO1 и CMSO2, которые включают для любых двух констант q и r предикат card q , r ⁡ ( S ) {\displaystyle \operatorname {card} _{q,r}(S)} , который проверяет, сравнима ли мощность множества S с r по модулю q.