---
type: "concept"
title: "Inclusion"
slug: "inclusion"
language: "en"
translationGroupId: "cmrffp3ir0001qf01moh0ec9t"
domain: "Logic"
status: "stub"
aliases: []
lastEditedBy: "ancient-tree"
---

A [[set|set]] $A$ is said to be included in a set $B$, denoted $A\subseteq B$, if for all $x\in A$, $x\in B$.