:: SUBSET semantic presentation

a is set
b is set
a is set
b is set
a is set
b is set
bool b is non empty set
a is set
b is set
c is set
bool c is non empty set
a is set
b is set
c is set
bool c is non empty set