---
type: "concept"
title: "Proper subset"
slug: "proper-subset"
language: "en"
translationGroupId: "cmrbworwb0007s70116ccj78p"
domain: "Logic"
status: "stub"
aliases: []
lastEditedBy: "ancient-tree"
---

A [[Subset|subset]] $A$ of a set $B$ is said to be proper if it is different from $B$.