IEVref: 102-01-05 ID: Language: en Status: Standard Term: proper subset Synonym1: Synonym2: Synonym3: Symbol: Definition: subset of a set, which is different from the setNote 1 to entry: The notation $A\subset B$ expresses that the set A is a proper subset of the set B. The symbol $\underset{\ne }{\subset }$ is sometimes used instead of $\subset$ but is not recommended, and it should be used when the latter is used for any subset of B. A is also said to be properly included in B. Publication date: 2008-08 Source: Replaces: Internal notes: 2017-02-20: Editorial revisions in accordance with the information provided in C00019 (IEV 102) - evaluation. JGO CO remarks: TC/SC remarks: VT remarks: Domain1: Domain2: Domain3: Domain4: Domain5: