Proper subset ↩

Metadata

aliases: [proper subset]

With

and

sets

is called a proper subset of

if every element of

is also an element of

and there's at least one element of

that is not an element of

Notation:

See also