# Documentation for infix (-)

Documentation for infix (-), assembled from the following types:

# language documentation Sets, Bags, and Mixes

## (Sets, Bags, and Mixes) infix (-)

only sub infix:<(-)>(**)

Returns the **set difference** of all its arguments. Generally, this returns the `Set`

made up of all the elements the first argument has but the rest don't, i.e., of all the elements of the first argument, minus the elements from the other arguments.

If the first argument is `Baggy`

, this returns a `Bag`

that contains each element of the first argument with its weight subtracted by the weight of that element in each of the other arguments.

bag(<a a b c a d>) (-) bag(<a a b c c>) = bag(<a d>)bag(<a a a a c d d d>) (-) bag(<a b d a>) (-) bag(<d c>) = bag(<a a d d>)

### infix ∖

only sub infix:<<"\x2216">>(|p)

Set difference operator (alternate).

Equivalent to (-).