{1, 2}
{} union {1, 2} : Set(ℕ)
{2, -3} union {1 / 2} : Set(ℚ)
{1, 2, 3}
{4}
{}
{}
{(1, 10), (1, 20), (1, 30), (2, 10), (2, 20), (2, 30)}
{(1, 10), (1, 20), (1, 30), (2, 10), (2, 20), (2, 30)}
{1}
true
true
true
{{}, {1}, {1, 2}, {1, 2, 3}, {1, 3}, {2}, {2, 3}, {3}}
{{}}
{{}, {1}}
{{}, {{}}}
{{}, {{}}, {{}, {{}}}, {{{}}}}
power(power(power({}))) : Set(Set(Set(Set(ℕ))))
{{}, {"hi"}, {"hi", "there"}, {"there"}}
⟅⟆
⟅(1, 'x') # 3, (1, 'y'), (2, 'x') # 6, (2, 'y') # 2⟆
⟅1, 2⟆
⟅1, 2⟆
bag([]) union bag([1, 2]) : Bag(ℕ)
bag([2, -3]) union bag([1 / 2]) : Bag(ℚ)
⟅1, 2 # 5, 3⟆
⟅4⟆
⟅⟆
⟅2 # 2, 3, 5⟆
⟅1⟆
true
true
true
⟅⟅⟆⟆
⟅⟅⟆, ⟅1⟆⟆
⟅⟅⟆, ⟅1⟆, ⟅1, 2⟆, ⟅2⟆⟆
⟅⟅⟆, ⟅'a'⟆, ⟅'a', 'b'⟆ # 2, ⟅'a', 'b' # 2⟆, ⟅'b'⟆ # 2, ⟅'b' # 2⟆⟆
⟅⟅⟆, ⟅'a'⟆ # 2, ⟅'a', 'b'⟆ # 6, ⟅'a', 'b' # 2⟆ # 6, ⟅'a', 'b' # 3⟆ # 2, ⟅'a' # 2⟆, ⟅'a' # 2, 'b'⟆ # 3, ⟅'a' # 2, 'b' # 2⟆ # 3, ⟅'a' # 2, 'b' # 3⟆, ⟅'b'⟆ # 3, ⟅'b' # 2⟆ # 3, ⟅'b' # 3⟆⟆
[(2, 3), (2, 4), (2, 4), (1, 3), (1, 4), (1, 4)]
true
true
false
false
true
false
false
true
true
true
false
false
true
false
true
true
⟅'x' # 3, 'y' # 2⟆
⟅'x' # 3, 'y'⟆
⟅'x', 'y'⟆
{(1, 3), (2, 1), (3, 2)}
⟅1 # 4, 2 # 3⟆
⟅1 # 3, 2, 3 # 2⟆
⟅'a' # 5, 'b' # 2⟆
⟅'a' # 4, 'b' # 4⟆
⟅'a' # 3, 'b' # 4⟆
⟅'a' # 4, 'b' # 4⟆
