ASPL Guide to Operations v 1.00
© 2024 by SetSphere.COM

3. 4

   superset determines if a set is a super of another set

 

superset a1 a2       where a1 a2 are set variables

superset  context  2  notcommu        ins:H_H_H  ret:context

●  superset determines if a set is a super of another set

Use the superset operator to check if a set variable is a superset of another set variable. The superset operator can be followed by two or more set variables, in which case the set variables are being compared pairwise going from left to right. This operator can be associated with two quantifiers: the 'mostly' quantifier that is used to reduce the matching of the elements to a specific percentage, and the 'loosely' quantifier that is used to ignore the group label when comparing the set variables. The command setcomparison can be typed at the ASPL prompt to list the set comparison operators along their quantifiers.

 

Example 3.4.1

superset EXAMPLE1

In this example we will load the RANDONEBITMIX workspace and create some variables to get the unions of the three groups g1, g2, and g3. We will perform some operations to show the superset operation on the set variables.

 

Operation 3.4.1

superset OPERATION1

①  aspl> gu123 = gU g1 g2 g3

②  aspl> gu12 = gU g1 g2

③  aspl> superset gu123 gu12 g1

④  aspl> subset g1 gu12 gu123

 

Example 3.4.2

superset EXAMPLE2

The unions of the three groups must include their intersection. We will assign the intersection to a set variable and show that the union of the three groups is a superset of their intersection.

 

Operation 3.4.2

superset OPERATION2

①  aspl> gu123 = gU g1 g2 g3

②  aspl> gu12 = gU g1 g2

③  aspl> fi12 = f& g1 g2

④  aspl> superset gu123 fi12

⑤  aspl> subset fi12 gu123

⑥  aspl> fi123 = f& g1 g2 g3

⑦  aspl> superset gu123 fi123

⑧  aspl> subset fi123 gu123

 

Example 3.4.3

superset EXAMPLE3

A set variable a1 is assigned to the group of files found in a directory. The content of the directory is being altered and you need to determine if some files has been added to or deleted from that directory.

①  aspl> a1

②  aspl> ? a1

③  aspl> superset a1 a1@1

④  aspl> subset a1 a1@1

 

Operation 3.4.3

superset OPERATION3

TRASH TEMPLATE THAT NEEDS TO BE EDITED

①  aspl> a12 = f& a1 a2
    (a12 is assigned the intersection of a1 a2)

②  aspl> display a12
    (print out a12)

       Figure spheres3d.png

full view

 -F- Fig. 3.4.1   [operation_1_superset]

ASPL (C) 2024 Bassem Jamaleddine

③  aspl> v d a12
    (view internals of set variable a12)

 

● SUPERSETNESS and its Amplifiers

This superset can be amplified by prefixing it with amplification syntax shown in the following table:

       a yellow note

 -T- Tab. 3.4.1   [SUPERSETNESS and its Amplifiers][SUPERSETNESS and its Amplifiers]

Superset	determines if a set is a superset of a set or of a series of sets
mostlySuperset	determines if a set is mostly a superset of a set or of a series of sets
looselySuperset	determines if a set is loosly a superset of a set or of a series of sets
mostlyLooselySuperset	determines if a set is mostly loosely a superset of a set or of a series of sets
noeattrSuperset	determines if a set (ignoring the attributes) is a superset of a set or of a series of sets
mostlyNoeattrSuperset	determines if a set (ignoring the attributes) is mostly a superset of a set or of a series of sets
looselyNoeattrSuperset	determines if a set (ignoring the attributes) is loosely a superset of a set or of a series of sets
mostlyLooselyNoeattrSuperset	determines if a set (ignoring the attributes) is mostly loosely a superset of a set or of a series of sets

(C)2024 ASPL Inc.