isSubset

&lt;.Set

&lt;=.Set

&gt;.Set

&gt;=.Set

x, y

Operator for <code>$isSubset</code> methods. See <a rd-options="" href="/link/Set?package=set6&version=0.2.4" data-mini-rdoc="set6::Set">Set</a><code>$isSubset</code> for full details.
Operators can be used for:<table><tr><td>
Name </td>
<td> Description </td>
<td> Operator </td>
</tr><tr><td>
Subset </td>
<td> <code>x</code> is a subset of <code>y</code> </td>
<td> <code>x &lt;= y</code> </td>
</tr><tr><td>
Proper Subset </td>
<td> <code>x</code> is a proper subset of <code>y</code> </td>
<td> <code>x &lt; y</code> </td>
</tr><tr><td>
Superset </td>
<td> <code>x</code> is a superset of <code>y</code> </td>
<td> <code>x &gt;= y</code> </td>
</tr><tr><td>
Proper Superset </td>
<td> <code>x</code> is a proper superset of <code>y</code> </td>
<td> <code>x &gt; y</code> </td>
</tr></table>

An object-oriented package for mathematical sets, upgrading the current gold-standard {sets}. Many forms of mathematical sets are implemented, including (countably finite) sets, tuples, intervals (countably infinite or uncountable), and fuzzy variants. Wrappers extend functionality by allowing symbolic representations of complex operations on sets, including unions, (cartesian) products, exponentiation, and differences (asymmetric and symmetric).

Raphael Sonabend

set6

R6 Mathematical Sets Interface

Franz Kiraly

isSubset function

Operator for <code>$isSubset</code> methods. See <a rd-options='' href='Set'>Set</a><code>$isSubset</code> for full details.
Operators can be used for:<table><tr><td>
Name </td>
<td> Description </td>
<td> Operator </td>
</tr><tr><td>
Subset </td>
<td> <code>x</code> is a subset of <code>y</code> </td>
<td> <code>x &lt;= y</code> </td>
</tr><tr><td>
Proper Subset </td>
<td> <code>x</code> is a proper subset of <code>y</code> </td>
<td> <code>x &lt; y</code> </td>
</tr><tr><td>
Superset </td>
<td> <code>x</code> is a superset of <code>y</code> </td>
<td> <code>x &gt;= y</code> </td>
</tr><tr><td>
Proper Superset </td>
<td> <code>x</code> is a proper superset of <code>y</code> </td>
<td> <code>x &gt; y</code> </td>
</tr></table>

Name	Description	Operator
Subset	`x` is a subset of `y`	`x <= y`
Proper Subset	`x` is a proper subset of `y`	`x < y`
Superset	`x` is a superset of `y`	`x >= y`
Proper Superset	`x` is a proper superset of `y`	`x > y`

isSubset: isSubset Operator

Description

Usage

Arguments