Element - Þ∨ - Multiset Difference

Characters: Þ, ∨

Description

Similar to set difference, but with duplicates allowed.

Overloads

• lst-lst - multiset difference of a and b

Examples

• ⟨1|2|3|4|5|6|7|8|9|10⟩ ⟨1|2|3|4|5|6|7|8|9|10⟩ Þ∨ = ⟨⟩
• ⟨1|2|3|4|5|6|7|8|9|10⟩ ⟨1|2|3|4|5|6|7|8|9|10|11⟩ Þ∨ = ⟨⟩
• ⟨1|1|2|2|2|3|3|3⟩ ⟨1|2|2|3⟩ Þ∨ = ⟨1|2|3|3⟩
• ⟨1|1|2|2|2|3|3|3⟩ ⟨1|2|2|3|4⟩ Þ∨ = ⟨1|2|3|3⟩
• ⟨⟩ ⟨⟩ Þ∨ = ⟨⟩
• ⟨1|2|3⟩ ⟨⟩ Þ∨ = ⟨1|2|3⟩
• ⟨⟩ ⟨1|2|3⟩ Þ∨ = ⟨⟩
• 12 234 Þ∨ = ⟨1⟩
• 1234 `13` Þ∨ = ⟨1234⟩
• `1234` 13 Þ∨ = ⟨`1234`⟩