proper subset symbol

Part of the Computing fundamentals glossary:

The proper subset symbol indicates a specific relationship between two set s. The symbol looks like the uppercase letter U in a sans-serif font , rotated 90 degrees clockwise. Proper-subset relations form the foundation of mathematical logic, including Boolean algebra, which is important in the design of computers and signal-processing systems.

Suppose there are two sets A and B. The statement "Set A is a proper subset of set B" is written A B. This means that every element contained in set A is also contained in set B, and there is at least one element in B that is not contained in A. Thus, no set is a proper subset of itself.

Here are some examples of true statements using the proper subset symbol:

{1, 2, 3, 4, 5, ... } {0, 1, 2, 3, 4, ...}
{0, 1, 2, 3, 4} {0, 1, 2, 3, 4, ...}
{-2, -3, 4} {-2,-2.5, -3, -3.5, -4}

The following statements, however, are not true:

{0, 1, 2, 3, 4, ...} {0, 1, 2, 3, 4, ...}
{0, 1, 2, 3, 4, ...} {0, -1, -2, -3, -4, ...}
{0, 1, 2, 3, 4, ...} {0, 1, 2, 3, 4}

Sets can contain things other than numbers. Examples are points on a plane, points on a spherical surface, and points in three-dimensional (3D) space. Proper subset relationships can be expressed in terms of specialized illustrations called Venn diagram s. In the illustration below, A B, and C B. However, it is not true that B A, nor is it true that A C, nor is it true that B C. In addition, the following statements are false: A A, B B, and C C.

Compare subset symbol . Also see set theory and Mathematical Symbols .

This was last updated in September 2005
Posted by: Margaret Rouse

Related Terms


  • Easter Egg

    - An Easter Egg is an unexpected surprise -- an undocumented procedure or unauthorized feature that's playful in nature or gives credit to the software developer or chip designer. (

  • term boosting

    - Term boosting is the ability to assign higher importance to specific words in a search engine query. In Google, for example, advanced search options allow you to identify words that must be found i... (

  • greedy algorithm

    - A greedy algorithm is a mathematical process that looks for simple, easy-to-implement solutions to complex, multi-step problems by deciding which next step will provide the most obvious benefit. (


  • Computing fundamentals

    - Terms related to computer fundamentals, including computer hardware definitions and words and phrases about software, operating systems, peripherals and troubleshooting.

  • Internet applications

    - This glossary contains terms related to Internet applications, including definitions about Software as a Service (SaaS) delivery models and words and phrases about web sites, e-commerce ...

Ask a Question About proper subset symbolPowered by

Get answers from your peers on your most technical challenges

Tech TalkComment



    Contribute to the conversation

    All fields are required. Comments will appear at the bottom of the article.