superset

<logic> A set some of whose members form a reference set. If A is a subset of B, then B is a superset of A.

[Glossary of First-Order Logic]

<2001-03-16>

Try this search on OneLook / Google