Difference

• Difference #Card
  • The difference $X \setminus A$ is defined by: $$x \in X \setminus A \iff (x \in X) \land (x \notin A)$$

Back

The difference $X \setminus A$ is defined by: $$x \in X \setminus A \iff (x \in X) \land (x \notin A)$$

Lean

Set.diff (s \ t) / {x ∈ s | x ∉ t}