Skip to content

Almost Equal (ほぼ等しい) (Definition II.5.6)

  • Almost Equal (ほぼ等しい) (Definition II.5.6) #Card
    • Two sets $B$ and $D$ are almost equal if their symmetric difference $B \triangle D := (B \setminus D) \cup (D \setminus B)$ is finite.

Two sets $B$ and $D$ are almost equal if their symmetric difference $B \triangle D := (B \setminus D) \cup (D \setminus B)$ is finite.

本書独自(核を除いてほぼ等しい)。Lean に直接対応なし