Equation Icon  [𝔨,𝔨] ⊂ 𝔨, [𝔨,𝔭] ⊂ 𝔭, [𝔭,𝔭] ⊂ 𝔨. (9.7 )