-

x - y -- a binary operator used for subtraction and set difference.

The user may install binary methods for this operator with code such as 

              X - Y := (x,y) -> ...
where X is the class of x and Y is the class of y .

Examples:

  • Set - Set
  • -- difference of two sets.

    • See also minus.

    Go to main index.

    Go to concepts index.