What is proper subset symbol? - Definition from WhatIs.com

Definition

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

Definitions

  • implementation

    - Implementation is the execution of any idea, model, or method; in IT, it refers to the process of setting up new software or hardware after a purchase is made. (SearchCRM.com)

  • terabyte (TB)

    - A terabyte (TB) is a measurement of computer storage capacity that is equal to 1,024 gigabytes (GB). The value is sometimes rounded to 1,000 GB. (SearchStorage.com)

  • lemniscate

    - A lemniscate is a plane curve with a characteristic shape, consisting of two loops that meet at a central point as shown below. (WhatIs.com)

Glossaries

  • 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 WhatIs.com 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 ITKnowledgeExchange.com

Get answers from your peers on your most technical challenges

Tech TalkComment

Share
Comments

    Results

    Contribute to the conversation

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