minkowski_difference.jl

"""
    minkowski_difference(X::LazySet, Y::LazySet)

Compute the Minkowski difference of two sets.

### Input

- `X` -- set
- `Y` -- set

### Output

A set representing the Minkowski difference ``X ⊖ Y``.

### Notes

The Minkowski difference of two sets ``X`` and ``Y`` is defined as

```math
    X ⊖ Y = \\{x \\mid x + y ∈ X ~∀~y ∈ Y\\}
```

The convenience alias `pontryagin_difference` is also available.

There is some inconsistency in the literature regarding the naming conventions.
In this library, both *Minkowski difference* and *Pontryagin difference* refer
to the geometric difference of two sets.
"""
function minkowski_difference(::LazySet, ::LazySet) end

"""
    pontryagin_difference(X::LazySet, Y::LazySet)

Convenience alias for the `minkowski_difference` function.
"""
const pontryagin_difference = minkowski_difference