A library written in TypeScript implementing the mathematical branch known as set theory - a subset of discrete mathematics.
While there is a current proposal for adding new methods to the Set class, it is not formally recommended yet. This library provides functions to coincide with the Set
class, as standardized by the ECMAScript Language Specification.
npm install @neoncitylights/sets
const a = new Set<number>([1, 2, 3, 4]);
const b = new Set<number>([4, 5, 6, 7]);
getIntersection(a, b); // new Set<number>([4])
getUnion(a, b); // new Set<number>([1, 2, 3, 4, 5, 6, 7])
const c = new Set<string>(["hello", "world"]);
const d = new Set<string>(["hello"]);
isSupersetOf(c, d); // true
isSubsetOf(d, c); // true
Auto-generated API documentation is available.
fn
: # predicates.areSetsDisjoint<*TElement*>(a, b): boolean • sourcefn
: # predicates.areSetsEquivalent<*TElement*>(a, b): boolean • sourcefn
: # predicates.areSetsEqual<*TElement*>(a, b): boolean • sourcefn
: # predicates.isSubsetOf<*TElement*>(a, b): boolean • sourcefn
: # predicates.isSupersetOf<*TElement*>(a, b): boolean • sourcefn
: # predicates.isProperSubsetOf<*TElement*>(a, b): boolean • sourcefn
: # predicates.isProperSupersetOf<*TElement*>(a, b): boolean • sourcefn
: # operations.getUnion<*TElement*>(a, b): Set<*TElement*> • sourcefn
: # operations.getIntersection<*TElement*>(a, b): Set<*TElement*> • sourcefn
: # operations.getDifference<*TElement*>(a, b): Set<*TElement*> • sourcefn
: # operations.getSymmetricDifference<*TElement*>(a, b): Set<*TElement*> • sourcefn
: # similarity.getJaccardSimilarityCoefficient<*TElement*>(a, b): number • sourcefn
: # similarity.getLogDice<*TElement*>(a, b): number • sourcefn
: # similarity.getOverlapCoefficient<*TElement*>(a, b): number • sourcefn
: # similarity.getSorensenDiceCoefficient<*TElement*>(a, b): number • sourceT
: # types.SetFunction<*TElement*, *TResult*> • sourceT
: # types.SetOperation<*TElement*> • sourceT
: # types.SetPredicate<*TElement*> • sourceT
: # types.SetSimilarity<*TElement*> • sourceA set is an unordered collection of unique elements. The type of elements can be anything, such as words, numbers, and even other sets. In math, the name of sets are usually denoted with a capital letter, like $A$, $B$, $C$, etc. They can be expressed in namely 2 different notations being "Roster notation" and "Set-Builder notation".
Sets are written with curly brackets at the start and end, and each element is separated by a comma. $$A = {1, 2, 3, 4}$$
For expressing larger, finite sets, we can use an ellipsis in-between. They can also be at the beginning or end to indicate that the set is infinite.
$$ \begin{aligned} B &= { 1, 2, 3, \dots, 100 } \ C &= { 1, 3, 5, 7, 9, \dots } \end{aligned} $$
Sets are written by defining a variable, and declaring a predicate (a statement that must be true or false) for that variable. For example, to express ${ 0, 1, 2, 3, \dots, 10 }$ in set-builder notation:
$${ x|x \in \mathbb{Z} \land 0 \leq x \leq 10 }$$
To express ${ 1, 3, 5, 7, 9, \dots }$ in set-builder notation:
$${ x| x_n = n + 2, 1 \le x \le \infty }$$
Compared to roster notation, set-builder notation is a way of more rigorously[^rigour-wiki] defining a set. However, it is important to note that depending on the audience, it can be less accessible to readers.
Cardinality is the formal term that represents the number of elements within a set. It is also known as the "size" of the element. Given a set named $A$, the cardinality can be expressed using pipes, via $|A|$.
$$ \begin{aligned} A &= { \text{hello}, \text{world} } \ |A| &= 2 \end{aligned} $$
Disjoint sets are sets that have no elements in common. Given two sets named $A$ and $B$, they are formally expressed as $A \cap B = \Phi$.
$$ \begin{aligned} A &= { 1, 2, 3, 4 } \ B &= { 5, 6, 7, 8 } \ A \cap B &= \Phi \end{aligned} $$
Equivalent sets are two sets that have the same cardinality.
$$ \begin{aligned} A &= { 5, 6, 7, 8, 9, 10 } \ B &= { 11, 12, 13, 14, 15, 16 } \ |A| &= |B| \end{aligned} $$
Equal sets are sets that have the same cardinality and the same elements.
$$ \begin{aligned} A &= { 1, 2, 3, 4, 5 } \ B &= { 1, 2, 3, 4, 5 } \ A &= B \end{aligned} $$
A subset is a set where all elements of set $A$ are in set $B$.
$$ \begin{aligned} A &= { 1, 2, 3 } \ B &= { 1, 2, 3, 4, 5 } \ A &\subseteq B \end{aligned} $$
A superset is a set where all elements of $B$ are in set $A$.
$$ \begin{aligned} A &= { 4, 5, 6 } \ B &= { 5, 6, 7, 8, 9 } \ B &\supseteq A \end{aligned} $$
A proper subset is when set $A$ is a subset of $B$, but $A \neq B$.
$$ { 1 } \subset { 1, 3 } $$
A proper superset is when set $A$ is a superset of $B$, but $A \neq B$.
$$ { 2, 3, 9 } \supset { 3, 9 } $$
The intersection is the set of elements that are the members of two sets.
$$ \begin{aligned} A &= { 1, 2, 3, 4, 5 } \ B &= { 3, 4, 5, 6, 7 } \ A \cap B &= { 3, 4, 5 } \end{aligned} $$
The union is the set of all elements in a collection of sets.
$$ \begin{aligned} A &= { 1, 2, 3, 4 } \ B &= { 4, 5, 6, 7, 8 } \ A \cup B &= {1, 2, 3, 4, 5, 6, 7, 8 } \end{aligned} $$
The difference (also known as the complement) is the set of all elements that are in set A that are not in set B.
$$ \begin{aligned} A &= { 1, 2, 3, 4 } \ B &= { 2, 3, 5, 6 } \ A \setminus B &= { 1, 4 } \end{aligned} $$
The symmetric difference is the set that belongs to one but not both of two sets.
$$ \begin{aligned} A &= { 2, 4, 5, 8 } \ B &= { 2, 6, 7, 8 } \ A ~\Delta ~ B &= { 4, 5, 6, 7 } \end{aligned} $$
This library is licensed under the MIT license (LICENSE-MIT
or http://opensource.org/licenses/MIT).
Unless you explicitly state otherwise, any contribution intentionally submitted for inclusion in the work by you, as defined in the MIT license, shall be licensed as above, without any additional terms or conditions.
Generated using TypeDoc