Skip to content
Journals Garden

Correlation (相関)

  • Correlation (相関) #Card
    • The composed relation $\psi^{-} \circ \varphi \subset N \times K$ defined by: $$\psi^{-} \circ \varphi = {(n, k) : \varphi(n) = \psi(k)}$$

Back

Section titled “Back”

The composed relation $\psi^{-} \circ \varphi \subset N \times K$ defined by: $$\psi^{-} \circ \varphi = {(n, k) : \varphi(n) = \psi(k)}$$

Lean

Section titled “Lean”

本書独自（数列の相関）。Lean に直接対応なし