ClosedTermSet

class ClosedTermSet(*args: Any, **kwargs: Any)[source]

Bases: ClosedTerm, Generic[_TClosedTerm]

Set of closed terms.

Parameters:: child – Closed term.

classmethod check(arg: Any, function: Callable[[...], Any] | str | None = None, name: str | None = None, position: int | None = None) → Self[source]

Coerces arg into an instance of this class.

If arg cannot be coerced, raises an error.

Parameters:

arg – Value.
function – Function or function name.
name – Argument name.
position – Argument position.

Returns:

Object.

issubset(other: Self) → bool[source]

Tests whether self is a subset of other.

Parameters:: other – Closed-term set.
Returns:: True if successful; False otherwise.

issuperset(other: Self) → bool[source]

Tests whether self is a superset of other.

Parameters:: other – Closed-term set.
Returns:: True if successful; False otherwise.

intersection(*others: Self) → Self[source]

Computes the intersection of self and others.

Parameters:: others – Closed-term sets.
Returns:: Closed-term set.

union(*others: Self) → Self[source]

Computes the union of self and others.

Parameters:: others – Closed-term sets.
Returns:: Closed-term set.