Argument Position | Prohibited Expression |
---|---|

Argument 1 | ¬_ |

Argument Position | Prohibited Expression |
---|---|

Argument 1 | ¬_ |

set, set

Is

`a`

a proper subset of `b`

?
Position | Name | Type | Description | |
---|---|---|---|---|

Parameters | ||||

1 | a | set | ||

2 | b | set | ||

Returns | boolean | true if a is a proper subset of b, false otherwise. |