subset, _subset, _notsubset

Relation "is a subset of"

Use only in the MuPAD Notebook Interface.

This functionality does not run in MATLAB.

Syntax

````A subset B`
_subset(`A`, `B`)
`not A subset B`
_notsubset(`A`, `B`)
```

Description

`A subset B` represents the expression .

A is a subset of B if xAxB.

The function `_notsubset` exists for typesetting purposes. It is returned as the result of negating a `subset` expression. See Example 4.

If called with symbolic arguments (anything but sets), these functions return a symbolic expression of type _in or the unevaluated input.

Examples

Example 1

When called with two sets, these functions return a Boolean value:

```{1} subset {1,2,3}, {} subset {1}, {1} subset {1}, {1} subset {}```

Example 2

Note: identifiers in sets are not assumed to be place-holders. See `?=` for details on syntactic equality.

`{x} subset {1,2}`

Example 3

If one of the arguments is not a set, these functions return an equivalent symbolic expression:

`{1} subset A, A subset {1}`

Example 4

For "pretty typesetting", the negation of `subset`is implemented in a special function environment:

`not A subset B`

`type(%)`

Parameters

 `A`, `B` MuPAD® expressions

Return Values

`TRUE`, `FALSE`, or an expression.

`A`, ` B`