► ℙℂ 𝕊ℙ𝔼ℂ

■ 𝕄𝕆𝕋ℍ𝔼ℝ𝔹𝕆𝔸ℝ𝔻 : 𝕄𝕊𝕀 𝕄ℙ𝔾 ℤ𝟞𝟡𝟘 𝔼𝔻𝔾𝔼 𝕎𝕀𝔽𝕀
■ ℙℝ𝕆ℂ𝔼𝕊𝕊𝕆ℝ : 𝕀ℕ𝕋𝔼𝕃 ℂ𝕆ℝ𝔼 𝕚𝟡 𝟙𝟚𝟡𝟘𝟘𝕂
■ 𝔾ℙ𝕌 : 𝔸𝕊𝕌𝕊 𝕋𝕌𝔽 𝔾𝔸𝕄𝕀ℕ𝔾 𝔾𝔼𝔽𝕆ℝℂ𝔼 ℝ𝕋𝕏 𝟜𝟘𝟠𝟘 𝕊𝕌ℙ𝔼ℝ 𝟙𝟞𝔾𝔹 𝔾𝔻𝔻ℝ𝟞𝕏 𝕆ℂ 𝔼𝔻𝕀𝕋𝕀𝕆ℕ
■ 𝔾ℙ𝕌 ℍ𝕆𝕃𝔻𝔼ℝ : 𝔸𝕊𝕌𝕊 ℝ𝕆𝔾 ℍ𝔼ℝℂ𝕌𝕃𝕏
■ 𝕊𝕋𝕆ℝ𝔸𝔾𝔼 : 𝕊𝕊𝔻 𝕊𝔸𝕄𝕊𝕌ℕ𝔾 𝟡𝟡𝟘 ℙℝ𝕆 (𝟚𝕋𝔹) + 𝕊𝕊𝔻 𝕄𝕊𝕀 𝕊ℙ𝔸𝕋𝕀𝕌𝕄 𝕄𝟜𝟟𝟘 (𝟙𝕋𝔹) + 𝕊𝕊𝔻 𝕊𝔸𝕄𝕊𝕌ℕ𝔾 𝟡𝟠𝟘 ℙℝ𝕆 (𝟝𝟘𝟘𝔾𝔹 𝕊𝕐𝕊𝕋𝔼𝕄)
■ 𝕄𝔼𝕄𝕆ℝ𝕐 : ℂ𝕆ℝ𝕊𝔸𝕀ℝ 𝔻𝕆𝕄𝕀ℕ𝔸𝕋𝕆ℝ ℙ𝕃𝔸𝕋𝕀ℕ𝕌𝕄 ℝ𝔾𝔹 𝟙𝟞𝕏𝟚𝔾𝔹 (𝟛𝟚𝔾𝔹) 𝟛𝟞𝟘𝟘 𝕄𝕙𝕫
■ ℂ𝕆𝕆𝕃𝔼ℝ : 𝔸𝕊𝕌𝕊 ℝ𝕆𝔾 ℝ𝕐𝕌𝕁𝕀ℕ 𝕀𝕀 𝟛𝟞𝟘 𝔸𝕀𝕆 𝕃𝕀ℚ𝕌𝕀𝔻 ℕ𝕆ℂ𝕋𝕌𝔸 𝔼𝔻𝕀𝕋𝕀𝕆ℕ
■ 𝔽𝔸ℕ : ℕℤ𝕏𝕋 𝔸𝔼ℝ ℝ𝔾𝔹 𝟚 𝔽𝔸ℕ + ℕ𝕆ℂ𝕋𝕌𝔸 𝔽𝔸ℕ
■ ℙ𝕊𝕌 : ℕℤ𝕏𝕋 ℂ𝟠𝟝𝟘 𝔾𝕆𝕃𝔻 𝔸𝕋𝕏 𝟛.𝟙 | ℙ𝕊𝕌 𝟠𝟝𝟘𝕎 𝟠𝟘+ 𝔾𝕆𝕃𝔻 𝔽𝕌𝕃𝕃𝕐 𝕄𝕆𝔻𝕌𝕃𝔸ℝ + 𝕋𝔼ℂ𝕎𝔸ℝ𝔼 ℂ𝔸𝔹𝕃𝔼 + 𝔼ℤ𝔻𝕀𝕐-𝔽𝔸𝔹 𝟙𝟞 𝕊𝕃𝔼𝔼𝕍𝔼𝔻 ℂ𝔸𝔹𝕃𝔼
■ ℂ𝔸𝕊𝔼 : ℕℤ𝕏𝕋 ℍ𝟟 𝔼𝕃𝕀𝕋𝔼
■ 𝕄𝕆ℕ𝕀𝕋𝕆ℝ 𝟙 : 𝕄𝕊𝕀 𝕆ℙ𝕋𝕀𝕏 𝕄𝔸𝔾𝟚𝟟𝟜ℚℝ𝔽-ℚ𝔻 [𝟙𝟜𝟜𝟘𝕡 ℚℍ𝔻 𝟙𝟞𝟝ℍ𝕫 / 𝟚𝟙𝟞𝟘𝕡 𝕌ℍ𝔻 𝟞𝟘ℍ𝕫]
■ 𝕄𝕆ℕ𝕀𝕋𝕆ℝ 𝟚 : 𝕄𝕊𝕀 𝔾𝟚𝟝𝟛ℙ𝔽 [𝟙𝟘𝟠𝟘𝕡 𝔽ℍ𝔻 𝟛𝟠𝟘ℍ𝕫 𝕆ℂ]

► 𝕆𝔽𝔽𝕀ℂ𝔼 ℙℂ (𝔸𝕆ℂ 𝔸𝕀𝕆)

■ ℙℝ𝕆ℂ𝔼𝕊𝕊𝕆ℝ : 𝕀𝟟 𝟙𝟚𝟞𝟘ℙ
■ 𝔾ℙ𝕌 : 𝕀ℕ𝕋𝔼𝕃 (ℝ) 𝕌ℍ𝔻 𝔾ℝ𝔸ℙℍ𝕀ℂ
■ 𝕄𝔼𝕄𝕆ℝ𝕐 : 𝕀ℕ𝕋𝔼ℝℕ𝔸𝕃 ℝ𝔸𝕄 𝟙𝟞 𝔾𝔹
■ 𝕊𝕋𝕆ℝ𝔸𝔾𝔼 : 𝕀ℕ𝕋𝔼ℝℕ𝔸𝕃 𝕊𝕊𝔻 𝟝𝟙𝟚 𝔾𝔹

► 𝔾𝔼𝔸ℝ

■ ℍ𝔼𝔸𝔻𝕊𝔼𝕋 : 𝕃𝕆𝔾𝕀𝕋𝔼ℂℍ 𝔾 ℙℝ𝕆 𝕏
■ 𝕄𝕆𝕌𝕊𝔼 : 𝔸𝕊𝕌𝕊 ℝ𝕆𝔾 ℍ𝔸ℝℙ𝔼 𝔸ℂ𝔼
■ 𝕄𝕆𝕌𝕊𝔼ℙ𝔸𝔻 : 𝕊ℙ𝔸ℂ𝔼𝔹𝕀𝕋 𝔹𝕐 ℙℝ𝔼𝕊𝕊ℙ𝕃𝔸𝕐 ( 𝔸ℙ𝕆𝕃𝕃𝕆 )
■ 𝕂𝔼𝕐𝔹𝕆𝔸ℝ𝔻 : ℂ𝕆ℝ𝕊𝔸𝕀ℝ 𝕂𝟙𝟘𝟘 ℝ𝔾𝔹
■ 𝕄𝔸𝕀ℕ ℂ𝕆ℕ𝕋ℝ𝕆𝕃𝕃𝔼ℝ : 𝔻𝕌𝔸𝕃𝕊𝔼ℕ𝕊𝔼 ℂ𝕆ℕ𝕋ℝ𝕆𝕃𝕃𝔼ℝ + 𝕏𝔹𝕆𝕏 𝕊𝕋𝔸ℝ𝔽𝕀𝔼𝕃𝔻 𝔼𝔻𝕀𝕋𝕀𝕆ℕ
■ ℕ𝔼𝕋𝕎𝕆ℝ𝕂 : 𝔸𝕊𝕌𝕊 𝕋𝕌𝔽 𝔸𝕏𝟝𝟜𝟘𝟘 ℝ𝕆𝕌𝕋𝔼ℝ

► 𝕃𝔸ℙ𝕋𝕆ℙ 𝕊ℙ𝔼ℂ

■ 𝕄𝕆𝔻𝔼𝕃 : 𝔸𝕊𝕌𝕊 ℝ𝕆𝔾 𝕊𝕋ℝ𝕀𝕏 𝔾𝟙𝟝 𝔾𝟝𝟙𝟚𝕃𝕍 𝟚𝟘𝟚𝟘
■ ℙℝ𝕆ℂ𝔼𝕊𝕊𝕆ℝ : 𝕀ℕ𝕋𝔼𝕃 ℂ𝕆ℝ𝔼 𝕀𝟟 𝟙𝟘𝟟𝟝𝟘ℍ
■ 𝔾ℙ𝕌 : ℕ𝕍𝕀𝔻𝕀𝔸 𝔾𝔼𝔽𝕆ℝℂ𝔼 ℝ𝕋𝕏 𝟚𝟘𝟞𝟘 𝟞 𝔾𝔹
■ 𝕄𝔼𝕄𝕆ℝ𝕐 : 𝟙𝟞𝔾𝔹 𝟛𝟚𝟘𝟘 𝕄𝕙𝕫
■ 𝕊𝕋𝕆ℝ𝔸𝔾𝔼 : 𝕊𝔸𝕄𝕊𝕌ℕ𝔾 𝕊𝕊𝔻 𝟡𝟟𝟘 𝔼𝕍𝕆 ℙ𝕃𝕌𝕊 - 𝟙𝕋𝔹 + 𝔻𝔼𝔽𝔸𝕌𝕃𝕋 𝕊𝕊𝔻 - 𝟝𝟙𝟚𝔾𝔹

► ℂ𝕆ℕ𝕊𝕆𝕃𝔼 𝔾𝔸𝕄𝔼

■ ℙ𝕃𝔸𝕐𝕊𝕋𝔸𝕋𝕀𝕆ℕ 𝟙
■ ℙ𝕃𝔸𝕐𝕊𝕋𝔸𝕋𝕀𝕆ℕ 𝟚
■ ℙ𝕃𝔸𝕐𝕊𝕋𝔸𝕋𝕀𝕆ℕ 𝟛
■ ℙ𝕃𝔸𝕐𝕊𝕋𝔸𝕋𝕀𝕆ℕ ℙ𝕆ℝ𝕋𝔸𝔹𝕃𝔼 𝔾𝔼ℕ 𝟙
■ ℙ𝕃𝔸𝕐𝕊𝕋𝔸𝕋𝕀𝕆ℕ ℙ𝕆ℝ𝕋𝔸𝔹𝕃𝔼 𝔾𝔼ℕ 𝟚
■ ℕ𝕀ℕ𝕋𝔼ℕ𝔻𝕆 𝔾𝔸𝕄𝔼𝔹𝕆𝕐 𝔸𝔻𝕍𝔸ℕℂ𝔼
■ ℕ𝕀ℕ𝕋𝔼ℕ𝔻𝕆 𝕊𝕎𝕀𝕋ℂℍ 𝕍𝟚 (𝔸ℕ𝕀𝕄𝔸𝕃 ℂℝ𝕆𝕊𝕊𝕀ℕ𝔾 𝔼𝔻𝕀𝕋𝕀𝕆ℕ)

► 𝔽𝔸𝕍 𝔾𝔸𝕄𝔼 𝕆ℕ ℂ𝕆ℕ𝕊𝕆𝕃𝔼

■ ℙ𝕊 𝟙 : ℙ𝔼ℙ𝕊𝕀 𝕄𝔸ℕ, ℂℝ𝕌𝕊ℍ 𝔾𝔼𝔸ℝ 𝕋𝕌ℝ𝔹𝕆, 𝕋𝔼𝕂𝕂𝔼ℕ 𝟛, ℂ𝕋ℝ, 𝕊𝕌ℙ𝔼ℝ 𝕊ℍ𝕆𝕆𝕋 𝕊𝕆ℂℂ𝔼ℝ, 𝔻𝕀𝔾𝕀𝕄𝕆ℕ ℝ𝕌𝕄𝔹𝕃𝔼 𝔸ℝ𝔼ℕ𝔸, 𝔻ℝ𝔸𝔾𝕆ℕ 𝔹𝔸𝕃𝕃 𝔾𝕋 (𝔽𝕀ℕ𝔸𝕃 𝔹𝕆𝕌𝕋), 𝕂𝔸𝕄𝔼ℕ ℝ𝕀𝔻𝔼ℝ ℝ𝕐𝕌𝕂𝕀, 𝕆ℕ𝔼 ℙ𝕀𝔼ℂ𝔼 (𝔾ℝ𝔸ℕ𝔻 𝔹𝔸𝕋𝕋𝕃𝔼 𝟚)
■ ℙ𝕊 𝟚 : 𝕄𝕆ℝ𝕋𝔸𝕃 𝕂𝕆𝕄𝔹𝔸𝕋 (𝕊ℍ𝔸𝕆𝕃𝕀ℕ 𝕄𝕆ℕ𝕂𝕊), 𝔻ℝ𝔸𝔾𝕆ℕ 𝔹𝔸𝕃𝕃 (𝔹𝕌𝔻𝕆𝕂𝔸𝕀 𝕋𝔼ℕ𝕂𝔸𝕀ℂℍ𝕀 𝟚), 𝔾𝕌𝕀𝕋𝔸ℝ ℍ𝔼ℝ𝕆 𝟛, ℕ𝔸ℝ𝕌𝕋𝕆 𝕌𝕃𝕋𝕀𝕄𝔸𝕋𝔼 ℕ𝕀ℕ𝕁𝔸 𝟛, 𝕂𝕀ℕ𝔾𝔻𝕆𝕄 ℍ𝔼𝔸ℝ𝕋𝕊 𝟛, ℝ𝔼𝕊𝕀𝔻𝔼ℕ𝕋 𝔼𝕍𝕀𝕃 𝟜, 𝔾𝕋𝔸 𝕊𝔸ℕ 𝔸ℕ𝔻ℝ𝔼𝔸𝕊, 𝔾𝕆𝕎 𝟙
■ ℙ𝕊 𝟛 : 𝕄𝔼𝕋𝔸𝕃 𝔾𝔼𝔸ℝ ℝ𝕀𝕊𝕀ℕ𝔾 (ℝ𝔼𝕍𝔼ℕ𝔾𝔼𝔸ℕℂ𝔼), 𝔻𝔼𝔸𝔻ℙ𝕆𝕆𝕃, 𝔾𝕋𝔸 𝕀𝕍, 𝔾𝕋𝔸 𝕍, 𝔽𝕀ℕ𝔸𝕃 𝔽𝔸ℕ𝕋𝔸𝕊𝕀 𝕏𝕀𝕀𝕀, 𝕋ℍ𝔼 𝔸𝕄𝔸ℤ𝕀ℕ𝔾 𝕊ℙ𝕀𝔻𝔼ℝ𝕄𝔸ℕ, 𝕋𝕆𝕄 ℂ𝕃𝔸ℕℂ𝕐'𝕊 𝕊ℙ𝕃𝕀ℕ𝕋𝔼ℝ ℂ𝔼𝕃𝕃 (𝔹𝕃𝔸ℂ𝕂𝕃𝕀𝕊𝕋), 𝔻𝕀𝔾𝕀𝕄𝕆ℕ 𝔸𝕃𝕃-𝕊𝕋𝔸ℝ ℝ𝕌𝕄𝔹𝕃𝔼
■ ℙ𝕊ℙ : ℙ𝔼𝕊 𝟚𝟘𝟙𝟛, 𝔾𝕆𝕎 (𝔾ℍ𝕆𝕊𝕋 𝕆𝔽 𝕊ℙ𝔸ℝ𝕋𝔸), 𝕄𝔼𝔾𝔸𝕄𝔸ℕ ℙ𝕆𝕎𝔼ℝ𝔼𝔻 𝕌ℙ, 𝔽𝕀𝔼𝕃𝔻ℝ𝕌ℕℕ𝔼ℝ𝕊, 𝔹𝔸𝕂𝕌𝔾𝔸ℕ (𝔻𝔼𝔽𝔼ℕ𝔻𝔼ℝ𝕊 𝕆𝔽 𝕋ℍ𝔼 ℂ𝕆ℝ𝔼), 𝕐𝕌-𝔾𝕀-𝕆ℍ! 𝟝𝔻'𝕤, 𝕊𝕌ℙ𝔼ℝ ℝ𝕆𝔹𝕆𝕋 𝕋𝔸𝕀𝕊𝔼ℕ 𝔸, ℍ𝔸ℝ𝕍𝔼𝕊𝕋 𝕄𝕆𝕆ℕ (ℍ𝔼ℝ𝕆 𝕆𝔽 𝕃𝔼𝔸𝕍 𝕍𝔸𝕃𝕃𝔼𝕐)
■ ℕ𝕀ℕ𝕋𝔼ℕ𝔻𝕆 𝔾𝔸𝕄𝔼𝔹𝕆𝕐 𝔸𝔻𝕍𝔸ℕℂ𝔼 : 𝕊𝕆ℕ𝕀ℂ 𝔸𝔻𝕍𝔸ℕℂ𝔼, ℙ𝕆𝕂𝔼𝕄𝕆ℕ 𝔽𝕀ℝ𝔼ℝ𝔼𝔻, 𝕋𝕄ℕ𝕋, 𝕄𝔼𝔾𝔸𝕄𝔸ℕ ℤ𝔼ℝ𝕆 𝟚, 𝕊𝕋ℝ𝔼𝔼𝕋 𝔽𝕀𝔾ℍ𝕋𝔼ℝ 𝟚, 𝕊𝕌ℙ𝔼ℝ 𝕄𝔸ℝ𝕀𝕆
■ ℕ𝕀ℕ𝕋𝔼ℕ𝔻𝕆 𝕊𝕎𝕀𝕋ℂℍ : 𝔸ℕ𝕀𝕄𝔸𝕃 ℂℝ𝕆𝕊𝕊𝕀ℕ𝔾 ℕ𝔼𝕎 ℍ𝕆ℝ𝕀ℤ𝕆ℕ 𝔸ℕ𝔻 ℙ𝕆𝕂𝔼𝕄𝕆ℕ 𝕃𝔼𝔾𝔼ℕ𝔻 𝔸ℝℂ𝔼𝕌𝕊
■ ℕ𝕆𝕂𝕀𝔸 ℕ-𝔾𝔸𝔾𝔼 : 𝕋𝕆𝕄𝔹 ℝ𝔸𝕀𝔻𝔼ℝ, 𝔸𝕊ℙ