Metadata aliases: [subset] set is subset of set if every element of is an element of as well.
aliases: [subset]
Notation: