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 に直接対応なし