Element Of ()

𝕩: Mark Firsts

Mark the first occurrence of each major cell in 𝕩 with a 1, and all other occurrences with a 0.

↗️
        4566475
⟨ 1 1 1 0 0 1 0 ⟩

       a  33  9

        a
⟨ 1 1 1 ⟩

𝕨 𝕩: Member Of

Is each cell in 𝕨 a major cell of 𝕩?

↗️
       1  9
⟨ 1 ⟩

       b  33  9

       012  b
┌·   
· 0  
    ┘

       13  012  b
┌·   
· 0  
    ┘