CINXE.COM

<!DOCTYPE html> <html class="client-nojs vector-feature-language-in-header-enabled vector-feature-language-in-main-page-header-disabled vector-feature-sticky-header-disabled vector-feature-page-tools-pinned-disabled vector-feature-toc-pinned-clientpref-1 vector-feature-main-menu-pinned-disabled vector-feature-limited-width-clientpref-1 vector-feature-limited-width-content-enabled vector-feature-custom-font-size-clientpref-1 vector-feature-appearance-pinned-clientpref-1 vector-feature-night-mode-disabled skin-theme-clientpref-day vector-toc-available" lang="gl" dir="ltr"> <head> <meta charset="UTF-8"> <title>Conxunto - Wikipedia, a enciclopedia libre</title> <script>(function(){var className="client-js vector-feature-language-in-header-enabled vector-feature-language-in-main-page-header-disabled vector-feature-sticky-header-disabled vector-feature-page-tools-pinned-disabled vector-feature-toc-pinned-clientpref-1 vector-feature-main-menu-pinned-disabled vector-feature-limited-width-clientpref-1 vector-feature-limited-width-content-enabled vector-feature-custom-font-size-clientpref-1 vector-feature-appearance-pinned-clientpref-1 vector-feature-night-mode-disabled skin-theme-clientpref-day vector-toc-available";var cookie=document.cookie.match(/(?:^|; )glwikimwclientpreferences=([^;]+)/);if(cookie){cookie[1].split('%2C').forEach(function(pref){className=className.replace(new RegExp('(^| )'+pref.replace(/-clientpref-\w+$|[^\w-]+/g,'')+'-clientpref-\\w+( |$)'),'$1'+pref+'$2');});}document.documentElement.className=className;}());RLCONF={"wgBreakFrames":false,"wgSeparatorTransformTable":[",\t.",".\t,"],"wgDigitTransformTable":["",""], "wgDefaultDateFormat":"dmy","wgMonthNames":["","xaneiro","febreiro","marzo","abril","maio","xuño","xullo","agosto","setembro","outubro","novembro","decembro"],"wgRequestId":"9674232c-5a9d-4ffe-b044-022bd2c9a22d","wgCanonicalNamespace":"","wgCanonicalSpecialPageName":false,"wgNamespaceNumber":0,"wgPageName":"Conxunto","wgTitle":"Conxunto","wgCurRevisionId":4472402,"wgRevisionId":4472402,"wgArticleId":50060,"wgIsArticle":true,"wgIsRedirect":false,"wgAction":"view","wgUserName":null,"wgUserGroups":["*"],"wgCategories":["Teoría de conxuntos"],"wgPageViewLanguage":"gl","wgPageContentLanguage":"gl","wgPageContentModel":"wikitext","wgRelevantPageName":"Conxunto","wgRelevantArticleId":50060,"wgIsProbablyEditable":true,"wgRelevantPageIsProbablyEditable":true,"wgRestrictionEdit":[],"wgRestrictionMove":[],"wgNoticeProject":"wikipedia","wgCiteReferencePreviewsActive":false,"wgMediaViewerOnClick":true,"wgMediaViewerEnabledByDefault":true,"wgPopupsFlags":0,"wgVisualEditor":{"pageLanguageCode":"gl" ,"pageLanguageDir":"ltr","pageVariantFallbacks":"gl"},"wgMFDisplayWikibaseDescriptions":{"search":true,"watchlist":true,"tagline":true,"nearby":true},"wgWMESchemaEditAttemptStepOversample":false,"wgWMEPageLength":7000,"wgRelatedArticlesCompat":[],"wgEditSubmitButtonLabelPublish":true,"wgULSPosition":"interlanguage","wgULSisCompactLinksEnabled":false,"wgVector2022LanguageInHeader":true,"wgULSisLanguageSelectorEmpty":false,"wgWikibaseItemId":"Q36161","wgCheckUserClientHintsHeadersJsApi":["brands","architecture","bitness","fullVersionList","mobile","model","platform","platformVersion"],"GEHomepageSuggestedEditsEnableTopics":true,"wgGETopicsMatchModeEnabled":false,"wgGEStructuredTaskRejectionReasonTextInputEnabled":false,"wgGELevelingUpEnabledForUser":false};RLSTATE={"ext.gadget.charinsert-styles":"ready","ext.gadget.PortalClass":"ready","ext.globalCssJs.user.styles":"ready","site.styles":"ready","user.styles":"ready","ext.globalCssJs.user":"ready","user":"ready","user.options":"loading", "ext.math.styles":"ready","skins.vector.search.codex.styles":"ready","skins.vector.styles":"ready","skins.vector.icons":"ready","ext.wikimediamessages.styles":"ready","ext.visualEditor.desktopArticleTarget.noscript":"ready","ext.uls.interlanguage":"ready","wikibase.client.init":"ready","ext.wikimediaBadges":"ready"};RLPAGEMODULES=["mediawiki.page.media","site","mediawiki.page.ready","mediawiki.toc","skins.vector.js","ext.centralNotice.geoIP","ext.centralNotice.startUp","ext.gadget.ReferenceTooltips","ext.gadget.refToolbar","ext.gadget.charinsert","ext.urlShortener.toolbar","ext.centralauth.centralautologin","mmv.bootstrap","ext.popups","ext.visualEditor.desktopArticleTarget.init","ext.visualEditor.targetLoader","ext.echo.centralauth","ext.eventLogging","ext.wikimediaEvents","ext.navigationTiming","ext.uls.interface","ext.cx.eventlogging.campaigns","ext.cx.uls.quick.actions","wikibase.client.vector-2022","ext.checkUser.clientHints","ext.growthExperiments.SuggestedEditSession", "wikibase.sidebar.tracking"];</script> <script>(RLQ=window.RLQ||[]).push(function(){mw.loader.impl(function(){return["user.options@12s5i",function($,jQuery,require,module){mw.user.tokens.set({"patrolToken":"+\\","watchToken":"+\\","csrfToken":"+\\"}); }];});});</script> <link rel="stylesheet" href="/w/load.php?lang=gl&modules=ext.math.styles%7Cext.uls.interlanguage%7Cext.visualEditor.desktopArticleTarget.noscript%7Cext.wikimediaBadges%7Cext.wikimediamessages.styles%7Cskins.vector.icons%2Cstyles%7Cskins.vector.search.codex.styles%7Cwikibase.client.init&only=styles&skin=vector-2022"> <script async="" src="/w/load.php?lang=gl&modules=startup&only=scripts&raw=1&skin=vector-2022"></script> <meta name="ResourceLoaderDynamicStyles" content=""> <link rel="stylesheet" href="/w/load.php?lang=gl&modules=ext.gadget.PortalClass%2Ccharinsert-styles&only=styles&skin=vector-2022"> <link rel="stylesheet" href="/w/load.php?lang=gl&modules=site.styles&only=styles&skin=vector-2022"> <meta name="generator" content="MediaWiki 1.44.0-wmf.5"> <meta name="referrer" content="origin"> <meta name="referrer" content="origin-when-cross-origin"> <meta name="robots" content="max-image-preview:standard"> <meta name="format-detection" content="telephone=no"> <meta name="viewport" content="width=1120"> <meta property="og:title" content="Conxunto - Wikipedia, a enciclopedia libre"> <meta property="og:type" content="website"> <link rel="preconnect" href="//upload.wikimedia.org"> <link rel="alternate" media="only screen and (max-width: 640px)" href="//gl.m.wikipedia.org/wiki/Conxunto"> <link rel="alternate" type="application/x-wiki" title="Editar" href="/w/index.php?title=Conxunto&action=edit"> <link rel="apple-touch-icon" href="/static/apple-touch/wikipedia.png"> <link rel="icon" href="/static/favicon/wikipedia.ico"> <link rel="search" type="application/opensearchdescription+xml" href="/w/rest.php/v1/search" title="Wikipedia (gl)"> <link rel="EditURI" type="application/rsd+xml" href="//gl.wikipedia.org/w/api.php?action=rsd"> <link rel="canonical" href="https://gl.wikipedia.org/wiki/Conxunto"> <link rel="license" href="https://creativecommons.org/licenses/by-sa/4.0/deed.gl"> <link rel="alternate" type="application/atom+xml" title="Fonte Atom de novas de Wikipedia" href="/w/index.php?title=Especial:Cambios_recentes&feed=atom"> <link rel="dns-prefetch" href="//meta.wikimedia.org" /> <link rel="dns-prefetch" href="//login.wikimedia.org"> </head> <body class="skin--responsive skin-vector skin-vector-search-vue mediawiki ltr sitedir-ltr mw-hide-empty-elt ns-0 ns-subject mw-editable page-Conxunto rootpage-Conxunto skin-vector-2022 action-view"><a class="mw-jump-link" href="#bodyContent">Saltar ao contido</a> <div class="vector-header-container"> <header class="vector-header mw-header"> <div class="vector-header-start"> <nav class="vector-main-menu-landmark" aria-label="Sitio"> <div id="vector-main-menu-dropdown" class="vector-dropdown vector-main-menu-dropdown vector-button-flush-left vector-button-flush-right" > <input type="checkbox" id="vector-main-menu-dropdown-checkbox" role="button" aria-haspopup="true" data-event-name="ui.dropdown-vector-main-menu-dropdown" class="vector-dropdown-checkbox " aria-label="Menú principal" > <label id="vector-main-menu-dropdown-label" for="vector-main-menu-dropdown-checkbox" class="vector-dropdown-label cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet cdx-button--icon-only " aria-hidden="true" ><span class="vector-icon mw-ui-icon-menu mw-ui-icon-wikimedia-menu"></span> <span class="vector-dropdown-label-text">Menú principal</span> </label> <div class="vector-dropdown-content"> <div id="vector-main-menu-unpinned-container" class="vector-unpinned-container"> <div id="vector-main-menu" class="vector-main-menu vector-pinnable-element"> <div class="vector-pinnable-header vector-main-menu-pinnable-header vector-pinnable-header-unpinned" data-feature-name="main-menu-pinned" data-pinnable-element-id="vector-main-menu" data-pinned-container-id="vector-main-menu-pinned-container" data-unpinned-container-id="vector-main-menu-unpinned-container" > <div class="vector-pinnable-header-label">Menú principal</div> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-pin-button" data-event-name="pinnable-header.vector-main-menu.pin">mover á barra lateral</button> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-unpin-button" data-event-name="pinnable-header.vector-main-menu.unpin">agochar</button> </div> <div id="p-navigation" class="vector-menu mw-portlet mw-portlet-navigation" > <div class="vector-menu-heading"> Navegación </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="n-mainpage-description" class="mw-list-item"><a href="/wiki/Portada" title="Visitar a páxina principal [z]" accesskey="z"><span>Portada</span></a></li><li id="n-portal" class="mw-list-item"><a href="/wiki/Wikipedia:Portal_da_comunidade" title="Información acerca do proxecto, do que pode facer e dos lugares onde atopar as cousas"><span>Portal da comunidade</span></a></li><li id="n-A-Taberna" class="mw-list-item"><a href="/wiki/Wikipedia:A_Taberna"><span>A Taberna</span></a></li><li id="n-currentevents" class="mw-list-item"><a href="/wiki/Wikipedia:Actualidade" title="Información acerca de acontecementos de actualidade"><span>Actualidade</span></a></li><li id="n-recentchanges" class="mw-list-item"><a href="/wiki/Especial:Cambios_recentes" title="A lista de modificacións recentes no wiki [r]" accesskey="r"><span>Cambios recentes</span></a></li><li id="n-Artigos-de-calidade" class="mw-list-item"><a href="/wiki/Wikipedia:Artigos_de_calidade"><span>Artigos de calidade</span></a></li><li id="n-randompage" class="mw-list-item"><a href="/wiki/Especial:Ao_chou" title="Cargar unha páxina ao chou [x]" accesskey="x"><span>Páxina ao chou</span></a></li><li id="n-help" class="mw-list-item"><a href="/wiki/Wikipedia:Axuda" title="O lugar para informarse"><span>Axuda</span></a></li> </ul> </div> </div> </div> </div> </div> </div> </nav> <a href="/wiki/Portada" class="mw-logo"> <img class="mw-logo-icon" src="/static/images/icons/wikipedia.png" alt="" aria-hidden="true" height="50" width="50"> <span class="mw-logo-container skin-invert"> <img class="mw-logo-wordmark" alt="Wikipedia" src="/static/images/mobile/copyright/wikipedia-wordmark-en.svg" style="width: 7.5em; height: 1.125em;"> <img class="mw-logo-tagline" alt="a Wikipedia en galego" src="/static/images/mobile/copyright/wikipedia-tagline-gl.svg" width="118" height="13" style="width: 7.375em; height: 0.8125em;"> </span> </a> </div> <div class="vector-header-end"> <div id="p-search" role="search" class="vector-search-box-vue vector-search-box-collapses vector-search-box-show-thumbnail vector-search-box-auto-expand-width vector-search-box"> <a href="/wiki/Especial:Procurar" class="cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet cdx-button--icon-only search-toggle" title="Procurar neste wiki [f]" accesskey="f"><span class="vector-icon mw-ui-icon-search mw-ui-icon-wikimedia-search"></span> <span>Procura</span> </a> <div class="vector-typeahead-search-container"> <div class="cdx-typeahead-search cdx-typeahead-search--show-thumbnail cdx-typeahead-search--auto-expand-width"> <form action="/w/index.php" id="searchform" class="cdx-search-input cdx-search-input--has-end-button"> <div id="simpleSearch" class="cdx-search-input__input-wrapper" data-search-loc="header-moved"> <div class="cdx-text-input cdx-text-input--has-start-icon"> <input class="cdx-text-input__input" type="search" name="search" placeholder="Procurar en Wikipedia" aria-label="Procurar en Wikipedia" autocapitalize="sentences" title="Procurar neste wiki [f]" accesskey="f" id="searchInput" > <span class="cdx-text-input__icon cdx-text-input__start-icon"></span> </div> <input type="hidden" name="title" value="Especial:Procurar"> </div> <button class="cdx-button cdx-search-input__end-button">Procurar</button> </form> </div> </div> </div> <nav class="vector-user-links vector-user-links-wide" aria-label="Ferramentas persoais"> <div class="vector-user-links-main"> <div id="p-vector-user-menu-preferences" class="vector-menu mw-portlet emptyPortlet" > <div class="vector-menu-content"> <ul class="vector-menu-content-list"> </ul> </div> </div> <div id="p-vector-user-menu-userpage" class="vector-menu mw-portlet emptyPortlet" > <div class="vector-menu-content"> <ul class="vector-menu-content-list"> </ul> </div> </div> <nav class="vector-appearance-landmark" aria-label="Aparencia"> <div id="vector-appearance-dropdown" class="vector-dropdown " title="Cambia a aparencia do tamaño da fonte, o ancho e a cor da páxina" > <input type="checkbox" id="vector-appearance-dropdown-checkbox" role="button" aria-haspopup="true" data-event-name="ui.dropdown-vector-appearance-dropdown" class="vector-dropdown-checkbox " aria-label="Aparencia" > <label id="vector-appearance-dropdown-label" for="vector-appearance-dropdown-checkbox" class="vector-dropdown-label cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet cdx-button--icon-only " aria-hidden="true" ><span class="vector-icon mw-ui-icon-appearance mw-ui-icon-wikimedia-appearance"></span> <span class="vector-dropdown-label-text">Aparencia</span> </label> <div class="vector-dropdown-content"> <div id="vector-appearance-unpinned-container" class="vector-unpinned-container"> </div> </div> </div> </nav> <div id="p-vector-user-menu-notifications" class="vector-menu mw-portlet emptyPortlet" > <div class="vector-menu-content"> <ul class="vector-menu-content-list"> </ul> </div> </div> <div id="p-vector-user-menu-overflow" class="vector-menu mw-portlet" > <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="pt-sitesupport-2" class="user-links-collapsible-item mw-list-item user-links-collapsible-item"><a data-mw="interface" href="//donate.wikimedia.org/wiki/Special:FundraiserRedirector?utm_source=donate&utm_medium=sidebar&utm_campaign=C13_gl.wikipedia.org&uselang=gl" class=""><span>Doazóns</span></a> </li> <li id="pt-createaccount-2" class="user-links-collapsible-item mw-list-item user-links-collapsible-item"><a data-mw="interface" href="/w/index.php?title=Especial:Crear_unha_conta&returnto=Conxunto" title="É recomendable que cree unha conta e acceda ao sistema, se ben non é obrigatorio" class=""><span>Crear unha conta</span></a> </li> <li id="pt-login-2" class="user-links-collapsible-item mw-list-item user-links-collapsible-item"><a data-mw="interface" href="/w/index.php?title=Especial:Iniciar_sesi%C3%B3n&returnto=Conxunto" title="É recomendable que se rexistre, se ben non é obrigatorio [o]" accesskey="o" class=""><span>Acceder ao sistema</span></a> </li> </ul> </div> </div> </div> <div id="vector-user-links-dropdown" class="vector-dropdown vector-user-menu vector-button-flush-right vector-user-menu-logged-out" title="Máis opcións" > <input type="checkbox" id="vector-user-links-dropdown-checkbox" role="button" aria-haspopup="true" data-event-name="ui.dropdown-vector-user-links-dropdown" class="vector-dropdown-checkbox " aria-label="Ferramentas persoais" > <label id="vector-user-links-dropdown-label" for="vector-user-links-dropdown-checkbox" class="vector-dropdown-label cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet cdx-button--icon-only " aria-hidden="true" ><span class="vector-icon mw-ui-icon-ellipsis mw-ui-icon-wikimedia-ellipsis"></span> <span class="vector-dropdown-label-text">Ferramentas persoais</span> </label> <div class="vector-dropdown-content"> <div id="p-personal" class="vector-menu mw-portlet mw-portlet-personal user-links-collapsible-item" title="Menú de usuario" > <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="pt-sitesupport" class="user-links-collapsible-item mw-list-item"><a href="//donate.wikimedia.org/wiki/Special:FundraiserRedirector?utm_source=donate&utm_medium=sidebar&utm_campaign=C13_gl.wikipedia.org&uselang=gl"><span>Doazóns</span></a></li><li id="pt-createaccount" class="user-links-collapsible-item mw-list-item"><a href="/w/index.php?title=Especial:Crear_unha_conta&returnto=Conxunto" title="É recomendable que cree unha conta e acceda ao sistema, se ben non é obrigatorio"><span class="vector-icon mw-ui-icon-userAdd mw-ui-icon-wikimedia-userAdd"></span> <span>Crear unha conta</span></a></li><li id="pt-login" class="user-links-collapsible-item mw-list-item"><a href="/w/index.php?title=Especial:Iniciar_sesi%C3%B3n&returnto=Conxunto" title="É recomendable que se rexistre, se ben non é obrigatorio [o]" accesskey="o"><span class="vector-icon mw-ui-icon-logIn mw-ui-icon-wikimedia-logIn"></span> <span>Acceder ao sistema</span></a></li> </ul> </div> </div> <div id="p-user-menu-anon-editor" class="vector-menu mw-portlet mw-portlet-user-menu-anon-editor" > <div class="vector-menu-heading"> Páxinas para os editores sen a sesión iniciada <a href="/wiki/Axuda:Introduci%C3%B3n" aria-label="Máis información sobre a edición"><span>máis información</span></a> </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="pt-anoncontribs" class="mw-list-item"><a href="/wiki/Especial:As_mi%C3%B1as_contribuci%C3%B3ns" title="Unha lista das modificacións feitas desde este enderezo IP [y]" accesskey="y"><span>Contribucións</span></a></li><li id="pt-anontalk" class="mw-list-item"><a href="/wiki/Especial:A_mi%C3%B1a_conversa" title="Conversa acerca de edicións feitas desde este enderezo IP [n]" accesskey="n"><span>Conversa</span></a></li> </ul> </div> </div> </div> </div> </nav> </div> </header> </div> <div class="mw-page-container"> <div class="mw-page-container-inner"> <div class="vector-sitenotice-container"> <div id="siteNotice"></div> </div> <div class="vector-column-start"> <div class="vector-main-menu-container"> <div id="mw-navigation"> <nav id="mw-panel" class="vector-main-menu-landmark" aria-label="Sitio"> <div id="vector-main-menu-pinned-container" class="vector-pinned-container"> </div> </nav> </div> </div> <div class="vector-sticky-pinned-container"> <nav id="mw-panel-toc" aria-label="Contidos" data-event-name="ui.sidebar-toc" class="mw-table-of-contents-container vector-toc-landmark"> <div id="vector-toc-pinned-container" class="vector-pinned-container"> <div id="vector-toc" class="vector-toc vector-pinnable-element"> <div class="vector-pinnable-header vector-toc-pinnable-header vector-pinnable-header-pinned" data-feature-name="toc-pinned" data-pinnable-element-id="vector-toc" > <h2 class="vector-pinnable-header-label">Contidos</h2> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-pin-button" data-event-name="pinnable-header.vector-toc.pin">mover á barra lateral</button> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-unpin-button" data-event-name="pinnable-header.vector-toc.unpin">agochar</button> </div> <ul class="vector-toc-contents" id="mw-panel-toc-list"> <li id="toc-mw-content-text" class="vector-toc-list-item vector-toc-level-1"> <a href="#" class="vector-toc-link"> <div class="vector-toc-text">Inicio</div> </a> </li> <li id="toc-Notación" class="vector-toc-list-item vector-toc-level-1 vector-toc-list-item-expanded"> <a class="vector-toc-link" href="#Notación"> <div class="vector-toc-text"> <span class="vector-toc-numb">1</span> <span>Notación</span> </div> </a> <button aria-controls="toc-Notación-sublist" class="cdx-button cdx-button--weight-quiet cdx-button--icon-only vector-toc-toggle"> <span class="vector-icon mw-ui-icon-wikimedia-expand"></span> <span>Mostrar ou agochar a subsección "Notación"</span> </button> <ul id="toc-Notación-sublist" class="vector-toc-list"> <li id="toc-Subconxuntos_e_superconxuntos" class="vector-toc-list-item vector-toc-level-2"> <a class="vector-toc-link" href="#Subconxuntos_e_superconxuntos"> <div class="vector-toc-text"> <span class="vector-toc-numb">1.1</span> <span>Subconxuntos e superconxuntos</span> </div> </a> <ul id="toc-Subconxuntos_e_superconxuntos-sublist" class="vector-toc-list"> </ul> </li> <li id="toc-Conxunto_baleiro" class="vector-toc-list-item vector-toc-level-2"> <a class="vector-toc-link" href="#Conxunto_baleiro"> <div class="vector-toc-text"> <span class="vector-toc-numb">1.2</span> <span>Conxunto baleiro</span> </div> </a> <ul id="toc-Conxunto_baleiro-sublist" class="vector-toc-list"> </ul> </li> </ul> </li> <li id="toc-Operacións_cos_conxuntos" class="vector-toc-list-item vector-toc-level-1 vector-toc-list-item-expanded"> <a class="vector-toc-link" href="#Operacións_cos_conxuntos"> <div class="vector-toc-text"> <span class="vector-toc-numb">2</span> <span>Operacións cos conxuntos</span> </div> </a> <button aria-controls="toc-Operacións_cos_conxuntos-sublist" class="cdx-button cdx-button--weight-quiet cdx-button--icon-only vector-toc-toggle"> <span class="vector-icon mw-ui-icon-wikimedia-expand"></span> <span>Mostrar ou agochar a subsección "Operacións cos conxuntos"</span> </button> <ul id="toc-Operacións_cos_conxuntos-sublist" class="vector-toc-list"> <li id="toc-Unión" class="vector-toc-list-item vector-toc-level-2"> <a class="vector-toc-link" href="#Unión"> <div class="vector-toc-text"> <span class="vector-toc-numb">2.1</span> <span>Unión</span> </div> </a> <ul id="toc-Unión-sublist" class="vector-toc-list"> </ul> </li> <li id="toc-Intersección" class="vector-toc-list-item vector-toc-level-2"> <a class="vector-toc-link" href="#Intersección"> <div class="vector-toc-text"> <span class="vector-toc-numb">2.2</span> <span>Intersección</span> </div> </a> <ul id="toc-Intersección-sublist" class="vector-toc-list"> </ul> </li> <li id="toc-Diferenza" class="vector-toc-list-item vector-toc-level-2"> <a class="vector-toc-link" href="#Diferenza"> <div class="vector-toc-text"> <span class="vector-toc-numb">2.3</span> <span>Diferenza</span> </div> </a> <ul id="toc-Diferenza-sublist" class="vector-toc-list"> </ul> </li> </ul> </li> <li id="toc-Álxebra_de_conxuntos" class="vector-toc-list-item vector-toc-level-1 vector-toc-list-item-expanded"> <a class="vector-toc-link" href="#Álxebra_de_conxuntos"> <div class="vector-toc-text"> <span class="vector-toc-numb">3</span> <span>Álxebra de conxuntos</span> </div> </a> <ul id="toc-Álxebra_de_conxuntos-sublist" class="vector-toc-list"> </ul> </li> </ul> </div> </div> </nav> </div> </div> <div class="mw-content-container"> <main id="content" class="mw-body"> <header class="mw-body-header vector-page-titlebar"> <nav aria-label="Contidos" class="vector-toc-landmark"> <div id="vector-page-titlebar-toc" class="vector-dropdown vector-page-titlebar-toc vector-button-flush-left" > <input type="checkbox" id="vector-page-titlebar-toc-checkbox" role="button" aria-haspopup="true" data-event-name="ui.dropdown-vector-page-titlebar-toc" class="vector-dropdown-checkbox " aria-label="Mostrar ou agochar a táboa de contidos" > <label id="vector-page-titlebar-toc-label" for="vector-page-titlebar-toc-checkbox" class="vector-dropdown-label cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet cdx-button--icon-only " aria-hidden="true" ><span class="vector-icon mw-ui-icon-listBullet mw-ui-icon-wikimedia-listBullet"></span> <span class="vector-dropdown-label-text">Mostrar ou agochar a táboa de contidos</span> </label> <div class="vector-dropdown-content"> <div id="vector-page-titlebar-toc-unpinned-container" class="vector-unpinned-container"> </div> </div> </div> </nav> <h1 id="firstHeading" class="firstHeading mw-first-heading"><span class="mw-page-title-main">Conxunto</span></h1> <div id="p-lang-btn" class="vector-dropdown mw-portlet mw-portlet-lang" > <input type="checkbox" id="p-lang-btn-checkbox" role="button" aria-haspopup="true" data-event-name="ui.dropdown-p-lang-btn" class="vector-dropdown-checkbox mw-interlanguage-selector" aria-label="Ir a un artigo noutra lingua. Dispoñible en 102 linguas" > <label id="p-lang-btn-label" for="p-lang-btn-checkbox" class="vector-dropdown-label cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet cdx-button--action-progressive mw-portlet-lang-heading-102" aria-hidden="true" ><span class="vector-icon mw-ui-icon-language-progressive mw-ui-icon-wikimedia-language-progressive"></span> <span class="vector-dropdown-label-text">102 linguas</span> </label> <div class="vector-dropdown-content"> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li class="interlanguage-link interwiki-als mw-list-item"><a href="https://als.wikipedia.org/wiki/Menge_(Mathematik)" title="Menge (Mathematik) – alemán suízo" lang="gsw" hreflang="gsw" data-title="Menge (Mathematik)" data-language-autonym="Alemannisch" data-language-local-name="alemán suízo" class="interlanguage-link-target"><span>Alemannisch</span></a></li><li class="interlanguage-link interwiki-am mw-list-item"><a href="https://am.wikipedia.org/wiki/%E1%88%B5%E1%89%A5%E1%88%B5%E1%89%A5" title="ስብስብ – amhárico" lang="am" hreflang="am" data-title="ስብስብ" data-language-autonym="አማርኛ" data-language-local-name="amhárico" class="interlanguage-link-target"><span>አማርኛ</span></a></li><li class="interlanguage-link interwiki-ar mw-list-item"><a href="https://ar.wikipedia.org/wiki/%D9%85%D8%AC%D9%85%D9%88%D8%B9%D8%A9_(%D8%B1%D9%8A%D8%A7%D8%B6%D9%8A%D8%A7%D8%AA)" title="مجموعة (رياضيات) – árabe" lang="ar" hreflang="ar" data-title="مجموعة (رياضيات)" data-language-autonym="العربية" data-language-local-name="árabe" class="interlanguage-link-target"><span>العربية</span></a></li><li class="interlanguage-link interwiki-ast mw-list-item"><a href="https://ast.wikipedia.org/wiki/Conxuntu" title="Conxuntu – asturiano" lang="ast" hreflang="ast" data-title="Conxuntu" data-language-autonym="Asturianu" data-language-local-name="asturiano" class="interlanguage-link-target"><span>Asturianu</span></a></li><li class="interlanguage-link interwiki-az mw-list-item"><a href="https://az.wikipedia.org/wiki/%C3%87oxluqlar" title="Çoxluqlar – acerbaixano" lang="az" hreflang="az" data-title="Çoxluqlar" data-language-autonym="Azərbaycanca" data-language-local-name="acerbaixano" class="interlanguage-link-target"><span>Azərbaycanca</span></a></li><li class="interlanguage-link interwiki-ba mw-list-item"><a href="https://ba.wikipedia.org/wiki/%D0%9A%D2%AF%D0%BC%D3%99%D0%BA%D0%BB%D0%B5%D0%BA" title="Күмәклек – baxkir" lang="ba" hreflang="ba" data-title="Күмәклек" data-language-autonym="Башҡортса" data-language-local-name="baxkir" class="interlanguage-link-target"><span>Башҡортса</span></a></li><li class="interlanguage-link interwiki-be mw-list-item"><a href="https://be.wikipedia.org/wiki/%D0%9C%D0%BD%D0%BE%D1%81%D1%82%D0%B2%D0%B0" title="Мноства – belaruso" lang="be" hreflang="be" data-title="Мноства" data-language-autonym="Беларуская" data-language-local-name="belaruso" class="interlanguage-link-target"><span>Беларуская</span></a></li><li class="interlanguage-link interwiki-be-x-old mw-list-item"><a href="https://be-tarask.wikipedia.org/wiki/%D0%9C%D0%BD%D0%BE%D1%81%D1%82%D0%B2%D0%B0" title="Мноства – Belarusian (Taraškievica orthography)" lang="be-tarask" hreflang="be-tarask" data-title="Мноства" data-language-autonym="Беларуская (тарашкевіца)" data-language-local-name="Belarusian (Taraškievica orthography)" class="interlanguage-link-target"><span>Беларуская (тарашкевіца)</span></a></li><li class="interlanguage-link interwiki-bg mw-list-item"><a href="https://bg.wikipedia.org/wiki/%D0%9C%D0%BD%D0%BE%D0%B6%D0%B5%D1%81%D1%82%D0%B2%D0%BE" title="Множество – búlgaro" lang="bg" hreflang="bg" data-title="Множество" data-language-autonym="Български" data-language-local-name="búlgaro" class="interlanguage-link-target"><span>Български</span></a></li><li class="interlanguage-link interwiki-bn mw-list-item"><a href="https://bn.wikipedia.org/wiki/%E0%A6%B8%E0%A7%87%E0%A6%9F" title="সেট – bengalí" lang="bn" hreflang="bn" data-title="সেট" data-language-autonym="বাংলা" data-language-local-name="bengalí" class="interlanguage-link-target"><span>বাংলা</span></a></li><li class="interlanguage-link interwiki-bs mw-list-item"><a href="https://bs.wikipedia.org/wiki/Skup_(matematika)" title="Skup (matematika) – bosníaco" lang="bs" hreflang="bs" data-title="Skup (matematika)" data-language-autonym="Bosanski" data-language-local-name="bosníaco" class="interlanguage-link-target"><span>Bosanski</span></a></li><li class="interlanguage-link interwiki-ca mw-list-item"><a href="https://ca.wikipedia.org/wiki/Conjunt" title="Conjunt – catalán" lang="ca" hreflang="ca" data-title="Conjunt" data-language-autonym="Català" data-language-local-name="catalán" class="interlanguage-link-target"><span>Català</span></a></li><li class="interlanguage-link interwiki-ckb mw-list-item"><a href="https://ckb.wikipedia.org/wiki/%DA%A9%DB%86%D9%85%DB%95%DA%B5%DB%95_(%D9%85%D8%A7%D8%AA%D9%85%D8%A7%D8%AA%DB%8C%DA%A9)" title="کۆمەڵە (ماتماتیک) – kurdo central" lang="ckb" hreflang="ckb" data-title="کۆمەڵە (ماتماتیک)" data-language-autonym="کوردی" data-language-local-name="kurdo central" class="interlanguage-link-target"><span>کوردی</span></a></li><li class="interlanguage-link interwiki-cs mw-list-item"><a href="https://cs.wikipedia.org/wiki/Mno%C5%BEina" title="Množina – checo" lang="cs" hreflang="cs" data-title="Množina" data-language-autonym="Čeština" data-language-local-name="checo" class="interlanguage-link-target"><span>Čeština</span></a></li><li class="interlanguage-link interwiki-cv mw-list-item"><a href="https://cv.wikipedia.org/wiki/%D0%99%D1%8B%D1%88" title="Йыш – chuvaxo" lang="cv" hreflang="cv" data-title="Йыш" data-language-autonym="Чӑвашла" data-language-local-name="chuvaxo" class="interlanguage-link-target"><span>Чӑвашла</span></a></li><li class="interlanguage-link interwiki-cy mw-list-item"><a href="https://cy.wikipedia.org/wiki/Set_(mathemateg)" title="Set (mathemateg) – galés" lang="cy" hreflang="cy" data-title="Set (mathemateg)" data-language-autonym="Cymraeg" data-language-local-name="galés" class="interlanguage-link-target"><span>Cymraeg</span></a></li><li class="interlanguage-link interwiki-da mw-list-item"><a href="https://da.wikipedia.org/wiki/M%C3%A6ngde" title="Mængde – dinamarqués" lang="da" hreflang="da" data-title="Mængde" data-language-autonym="Dansk" data-language-local-name="dinamarqués" class="interlanguage-link-target"><span>Dansk</span></a></li><li class="interlanguage-link interwiki-de mw-list-item"><a href="https://de.wikipedia.org/wiki/Menge_(Mathematik)" title="Menge (Mathematik) – alemán" lang="de" hreflang="de" data-title="Menge (Mathematik)" data-language-autonym="Deutsch" data-language-local-name="alemán" class="interlanguage-link-target"><span>Deutsch</span></a></li><li class="interlanguage-link interwiki-el mw-list-item"><a href="https://el.wikipedia.org/wiki/%CE%A3%CF%8D%CE%BD%CE%BF%CE%BB%CE%BF" title="Σύνολο – grego" lang="el" hreflang="el" data-title="Σύνολο" data-language-autonym="Ελληνικά" data-language-local-name="grego" class="interlanguage-link-target"><span>Ελληνικά</span></a></li><li class="interlanguage-link interwiki-en mw-list-item"><a href="https://en.wikipedia.org/wiki/Set_(mathematics)" title="Set (mathematics) – inglés" lang="en" hreflang="en" data-title="Set (mathematics)" data-language-autonym="English" data-language-local-name="inglés" class="interlanguage-link-target"><span>English</span></a></li><li class="interlanguage-link interwiki-eo mw-list-item"><a href="https://eo.wikipedia.org/wiki/Aro_(matematiko)" title="Aro (matematiko) – esperanto" lang="eo" hreflang="eo" data-title="Aro (matematiko)" data-language-autonym="Esperanto" data-language-local-name="esperanto" class="interlanguage-link-target"><span>Esperanto</span></a></li><li class="interlanguage-link interwiki-es mw-list-item"><a href="https://es.wikipedia.org/wiki/Conjunto" title="Conjunto – español" lang="es" hreflang="es" data-title="Conjunto" data-language-autonym="Español" data-language-local-name="español" class="interlanguage-link-target"><span>Español</span></a></li><li class="interlanguage-link interwiki-et mw-list-item"><a href="https://et.wikipedia.org/wiki/Hulk" title="Hulk – estoniano" lang="et" hreflang="et" data-title="Hulk" data-language-autonym="Eesti" data-language-local-name="estoniano" class="interlanguage-link-target"><span>Eesti</span></a></li><li class="interlanguage-link interwiki-eu mw-list-item"><a href="https://eu.wikipedia.org/wiki/Multzo" title="Multzo – éuscaro" lang="eu" hreflang="eu" data-title="Multzo" data-language-autonym="Euskara" data-language-local-name="éuscaro" class="interlanguage-link-target"><span>Euskara</span></a></li><li class="interlanguage-link interwiki-fa mw-list-item"><a href="https://fa.wikipedia.org/wiki/%D9%85%D8%AC%D9%85%D9%88%D8%B9%D9%87_(%D8%B1%DB%8C%D8%A7%D8%B6%DB%8C%D8%A7%D8%AA)" title="مجموعه (ریاضیات) – persa" lang="fa" hreflang="fa" data-title="مجموعه (ریاضیات)" data-language-autonym="فارسی" data-language-local-name="persa" class="interlanguage-link-target"><span>فارسی</span></a></li><li class="interlanguage-link interwiki-fi mw-list-item"><a href="https://fi.wikipedia.org/wiki/Joukko" title="Joukko – finés" lang="fi" hreflang="fi" data-title="Joukko" data-language-autonym="Suomi" data-language-local-name="finés" class="interlanguage-link-target"><span>Suomi</span></a></li><li class="interlanguage-link interwiki-fiu-vro mw-list-item"><a href="https://fiu-vro.wikipedia.org/wiki/Hulk" title="Hulk – Võro" lang="vro" hreflang="vro" data-title="Hulk" data-language-autonym="Võro" data-language-local-name="Võro" class="interlanguage-link-target"><span>Võro</span></a></li><li class="interlanguage-link interwiki-fr mw-list-item"><a href="https://fr.wikipedia.org/wiki/Ensemble" title="Ensemble – francés" lang="fr" hreflang="fr" data-title="Ensemble" data-language-autonym="Français" data-language-local-name="francés" class="interlanguage-link-target"><span>Français</span></a></li><li class="interlanguage-link interwiki-fur mw-list-item"><a href="https://fur.wikipedia.org/wiki/Insiemi" title="Insiemi – friulano" lang="fur" hreflang="fur" data-title="Insiemi" data-language-autonym="Furlan" data-language-local-name="friulano" class="interlanguage-link-target"><span>Furlan</span></a></li><li class="interlanguage-link interwiki-ga mw-list-item"><a href="https://ga.wikipedia.org/wiki/Tacar" title="Tacar – irlandés" lang="ga" hreflang="ga" data-title="Tacar" data-language-autonym="Gaeilge" data-language-local-name="irlandés" class="interlanguage-link-target"><span>Gaeilge</span></a></li><li class="interlanguage-link interwiki-gan mw-list-item"><a href="https://gan.wikipedia.org/wiki/%E9%9B%86%E5%90%88" title="集合 – Gan" lang="gan" hreflang="gan" data-title="集合" data-language-autonym="贛語" data-language-local-name="Gan" class="interlanguage-link-target"><span>贛語</span></a></li><li class="interlanguage-link interwiki-gcr mw-list-item"><a href="https://gcr.wikipedia.org/wiki/Ansanm" title="Ansanm – Guianan Creole" lang="gcr" hreflang="gcr" data-title="Ansanm" data-language-autonym="Kriyòl gwiyannen" data-language-local-name="Guianan Creole" class="interlanguage-link-target"><span>Kriyòl gwiyannen</span></a></li><li class="interlanguage-link interwiki-gd mw-list-item"><a href="https://gd.wikipedia.org/wiki/Seata" title="Seata – gaélico escocés" lang="gd" hreflang="gd" data-title="Seata" data-language-autonym="Gàidhlig" data-language-local-name="gaélico escocés" class="interlanguage-link-target"><span>Gàidhlig</span></a></li><li class="interlanguage-link interwiki-he mw-list-item"><a href="https://he.wikipedia.org/wiki/%D7%A7%D7%91%D7%95%D7%A6%D7%94_(%D7%9E%D7%AA%D7%9E%D7%98%D7%99%D7%A7%D7%94)" title="קבוצה (מתמטיקה) – hebreo" lang="he" hreflang="he" data-title="קבוצה (מתמטיקה)" data-language-autonym="עברית" data-language-local-name="hebreo" class="interlanguage-link-target"><span>עברית</span></a></li><li class="interlanguage-link interwiki-hi mw-list-item"><a href="https://hi.wikipedia.org/wiki/%E0%A4%B8%E0%A4%AE%E0%A5%81%E0%A4%9A%E0%A5%8D%E0%A4%9A%E0%A4%AF_(%E0%A4%97%E0%A4%A3%E0%A4%BF%E0%A4%A4)" title="समुच्चय (गणित) – hindi" lang="hi" hreflang="hi" data-title="समुच्चय (गणित)" data-language-autonym="हिन्दी" data-language-local-name="hindi" class="interlanguage-link-target"><span>हिन्दी</span></a></li><li class="interlanguage-link interwiki-hr mw-list-item"><a href="https://hr.wikipedia.org/wiki/Skup" title="Skup – croata" lang="hr" hreflang="hr" data-title="Skup" data-language-autonym="Hrvatski" data-language-local-name="croata" class="interlanguage-link-target"><span>Hrvatski</span></a></li><li class="interlanguage-link interwiki-hu mw-list-item"><a href="https://hu.wikipedia.org/wiki/Halmaz_(matematika)" title="Halmaz (matematika) – húngaro" lang="hu" hreflang="hu" data-title="Halmaz (matematika)" data-language-autonym="Magyar" data-language-local-name="húngaro" class="interlanguage-link-target"><span>Magyar</span></a></li><li class="interlanguage-link interwiki-hy mw-list-item"><a href="https://hy.wikipedia.org/wiki/%D4%B2%D5%A1%D5%A6%D5%B4%D5%B8%D6%82%D5%A9%D5%B5%D5%B8%D6%82%D5%B6" title="Բազմություն – armenio" lang="hy" hreflang="hy" data-title="Բազմություն" data-language-autonym="Հայերեն" data-language-local-name="armenio" class="interlanguage-link-target"><span>Հայերեն</span></a></li><li class="interlanguage-link interwiki-ia mw-list-item"><a href="https://ia.wikipedia.org/wiki/Insimul" title="Insimul – interlingua" lang="ia" hreflang="ia" data-title="Insimul" data-language-autonym="Interlingua" data-language-local-name="interlingua" class="interlanguage-link-target"><span>Interlingua</span></a></li><li class="interlanguage-link interwiki-id mw-list-item"><a href="https://id.wikipedia.org/wiki/Himpunan_(matematika)" title="Himpunan (matematika) – indonesio" lang="id" hreflang="id" data-title="Himpunan (matematika)" data-language-autonym="Bahasa Indonesia" data-language-local-name="indonesio" class="interlanguage-link-target"><span>Bahasa Indonesia</span></a></li><li class="interlanguage-link interwiki-io mw-list-item"><a href="https://io.wikipedia.org/wiki/Ensemblo" title="Ensemblo – ido" lang="io" hreflang="io" data-title="Ensemblo" data-language-autonym="Ido" data-language-local-name="ido" class="interlanguage-link-target"><span>Ido</span></a></li><li class="interlanguage-link interwiki-is mw-list-item"><a href="https://is.wikipedia.org/wiki/Mengi" title="Mengi – islandés" lang="is" hreflang="is" data-title="Mengi" data-language-autonym="Íslenska" data-language-local-name="islandés" class="interlanguage-link-target"><span>Íslenska</span></a></li><li class="interlanguage-link interwiki-it mw-list-item"><a href="https://it.wikipedia.org/wiki/Insieme" title="Insieme – italiano" lang="it" hreflang="it" data-title="Insieme" data-language-autonym="Italiano" data-language-local-name="italiano" class="interlanguage-link-target"><span>Italiano</span></a></li><li class="interlanguage-link interwiki-ja mw-list-item"><a href="https://ja.wikipedia.org/wiki/%E9%9B%86%E5%90%88" title="集合 – xaponés" lang="ja" hreflang="ja" data-title="集合" data-language-autonym="日本語" data-language-local-name="xaponés" class="interlanguage-link-target"><span>日本語</span></a></li><li class="interlanguage-link interwiki-jam mw-list-item"><a href="https://jam.wikipedia.org/wiki/Set_(matimatix)" title="Set (matimatix) – Jamaican Creole English" lang="jam" hreflang="jam" data-title="Set (matimatix)" data-language-autonym="Patois" data-language-local-name="Jamaican Creole English" class="interlanguage-link-target"><span>Patois</span></a></li><li class="interlanguage-link interwiki-ka mw-list-item"><a href="https://ka.wikipedia.org/wiki/%E1%83%A1%E1%83%98%E1%83%9B%E1%83%A0%E1%83%90%E1%83%95%E1%83%9A%E1%83%94" title="სიმრავლე – xeorxiano" lang="ka" hreflang="ka" data-title="სიმრავლე" data-language-autonym="ქართული" data-language-local-name="xeorxiano" class="interlanguage-link-target"><span>ქართული</span></a></li><li class="interlanguage-link interwiki-kk mw-list-item"><a href="https://kk.wikipedia.org/wiki/%D0%91%D3%A9%D0%BB%D1%96%D0%BA" title="Бөлік – kazako" lang="kk" hreflang="kk" data-title="Бөлік" data-language-autonym="Қазақша" data-language-local-name="kazako" class="interlanguage-link-target"><span>Қазақша</span></a></li><li class="interlanguage-link interwiki-kn mw-list-item"><a href="https://kn.wikipedia.org/wiki/%E0%B2%97%E0%B2%A3_(%E0%B2%97%E0%B2%A3%E0%B2%BF%E0%B2%A4)" title="ಗಣ (ಗಣಿತ) – kannará" lang="kn" hreflang="kn" data-title="ಗಣ (ಗಣಿತ)" data-language-autonym="ಕನ್ನಡ" data-language-local-name="kannará" class="interlanguage-link-target"><span>ಕನ್ನಡ</span></a></li><li class="interlanguage-link interwiki-ko mw-list-item"><a href="https://ko.wikipedia.org/wiki/%EC%A7%91%ED%95%A9" title="집합 – coreano" lang="ko" hreflang="ko" data-title="집합" data-language-autonym="한국어" data-language-local-name="coreano" class="interlanguage-link-target"><span>한국어</span></a></li><li class="interlanguage-link interwiki-ku mw-list-item"><a href="https://ku.wikipedia.org/wiki/Kom" title="Kom – kurdo" lang="ku" hreflang="ku" data-title="Kom" data-language-autonym="Kurdî" data-language-local-name="kurdo" class="interlanguage-link-target"><span>Kurdî</span></a></li><li class="interlanguage-link interwiki-la mw-list-item"><a href="https://la.wikipedia.org/wiki/Copia" title="Copia – latín" lang="la" hreflang="la" data-title="Copia" data-language-autonym="Latina" data-language-local-name="latín" class="interlanguage-link-target"><span>Latina</span></a></li><li class="interlanguage-link interwiki-lmo mw-list-item"><a href="https://lmo.wikipedia.org/wiki/Insemma" title="Insemma – Lombard" lang="lmo" hreflang="lmo" data-title="Insemma" data-language-autonym="Lombard" data-language-local-name="Lombard" class="interlanguage-link-target"><span>Lombard</span></a></li><li class="interlanguage-link interwiki-ln mw-list-item"><a href="https://ln.wikipedia.org/wiki/El%C9%94ng%C9%94%CC%81t%C9%9B%CC%82_lisang%C3%A1" title="Elɔngɔ́tɛ̂ lisangá – lingala" lang="ln" hreflang="ln" data-title="Elɔngɔ́tɛ̂ lisangá" data-language-autonym="Lingála" data-language-local-name="lingala" class="interlanguage-link-target"><span>Lingála</span></a></li><li class="interlanguage-link interwiki-lt mw-list-item"><a href="https://lt.wikipedia.org/wiki/Aib%C4%97" title="Aibė – lituano" lang="lt" hreflang="lt" data-title="Aibė" data-language-autonym="Lietuvių" data-language-local-name="lituano" class="interlanguage-link-target"><span>Lietuvių</span></a></li><li class="interlanguage-link interwiki-lv mw-list-item"><a href="https://lv.wikipedia.org/wiki/Kopa" title="Kopa – letón" lang="lv" hreflang="lv" data-title="Kopa" data-language-autonym="Latviešu" data-language-local-name="letón" class="interlanguage-link-target"><span>Latviešu</span></a></li><li class="interlanguage-link interwiki-mk mw-list-item"><a href="https://mk.wikipedia.org/wiki/%D0%9C%D0%BD%D0%BE%D0%B6%D0%B5%D1%81%D1%82%D0%B2%D0%BE" title="Множество – macedonio" lang="mk" hreflang="mk" data-title="Множество" data-language-autonym="Македонски" data-language-local-name="macedonio" class="interlanguage-link-target"><span>Македонски</span></a></li><li class="interlanguage-link interwiki-ml mw-list-item"><a href="https://ml.wikipedia.org/wiki/%E0%B4%97%E0%B4%A3%E0%B4%82_(%E0%B4%97%E0%B4%A3%E0%B4%BF%E0%B4%A4%E0%B4%82)" title="ഗണം (ഗണിതം) – malabar" lang="ml" hreflang="ml" data-title="ഗണം (ഗണിതം)" data-language-autonym="മലയാളം" data-language-local-name="malabar" class="interlanguage-link-target"><span>മലയാളം</span></a></li><li class="interlanguage-link interwiki-mn mw-list-item"><a href="https://mn.wikipedia.org/wiki/%D0%9E%D0%BB%D0%BE%D0%BD%D0%BB%D0%BE%D0%B3" title="Олонлог – mongol" lang="mn" hreflang="mn" data-title="Олонлог" data-language-autonym="Монгол" data-language-local-name="mongol" class="interlanguage-link-target"><span>Монгол</span></a></li><li class="interlanguage-link interwiki-ms mw-list-item"><a href="https://ms.wikipedia.org/wiki/Set" title="Set – malaio" lang="ms" hreflang="ms" data-title="Set" data-language-autonym="Bahasa Melayu" data-language-local-name="malaio" class="interlanguage-link-target"><span>Bahasa Melayu</span></a></li><li class="interlanguage-link interwiki-my mw-list-item"><a href="https://my.wikipedia.org/wiki/%E1%80%A1%E1%80%85%E1%80%AF" title="အစု – birmano" lang="my" hreflang="my" data-title="အစု" data-language-autonym="မြန်မာဘာသာ" data-language-local-name="birmano" class="interlanguage-link-target"><span>မြန်မာဘာသာ</span></a></li><li class="interlanguage-link interwiki-myv mw-list-item"><a href="https://myv.wikipedia.org/wiki/%D0%92%D0%B5%D0%B9%D1%81%D1%81%D0%B0%D0%B5%D0%B2%D0%BA%D1%81" title="Вейссаевкс – erzya" lang="myv" hreflang="myv" data-title="Вейссаевкс" data-language-autonym="Эрзянь" data-language-local-name="erzya" class="interlanguage-link-target"><span>Эрзянь</span></a></li><li class="interlanguage-link interwiki-nds mw-list-item"><a href="https://nds.wikipedia.org/wiki/Koppel_(Mathematik)" title="Koppel (Mathematik) – baixo alemán" lang="nds" hreflang="nds" data-title="Koppel (Mathematik)" data-language-autonym="Plattdüütsch" data-language-local-name="baixo alemán" class="interlanguage-link-target"><span>Plattdüütsch</span></a></li><li class="interlanguage-link interwiki-nl mw-list-item"><a href="https://nl.wikipedia.org/wiki/Verzameling_(wiskunde)" title="Verzameling (wiskunde) – neerlandés" lang="nl" hreflang="nl" data-title="Verzameling (wiskunde)" data-language-autonym="Nederlands" data-language-local-name="neerlandés" class="interlanguage-link-target"><span>Nederlands</span></a></li><li class="interlanguage-link interwiki-nn mw-list-item"><a href="https://nn.wikipedia.org/wiki/Mengd" title="Mengd – noruegués nynorsk" lang="nn" hreflang="nn" data-title="Mengd" data-language-autonym="Norsk nynorsk" data-language-local-name="noruegués nynorsk" class="interlanguage-link-target"><span>Norsk nynorsk</span></a></li><li class="interlanguage-link interwiki-no mw-list-item"><a href="https://no.wikipedia.org/wiki/Mengde" title="Mengde – noruegués bokmål" lang="nb" hreflang="nb" data-title="Mengde" data-language-autonym="Norsk bokmål" data-language-local-name="noruegués bokmål" class="interlanguage-link-target"><span>Norsk bokmål</span></a></li><li class="interlanguage-link interwiki-nov mw-list-item"><a href="https://nov.wikipedia.org/wiki/Ensemble" title="Ensemble – Novial" lang="nov" hreflang="nov" data-title="Ensemble" data-language-autonym="Novial" data-language-local-name="Novial" class="interlanguage-link-target"><span>Novial</span></a></li><li class="interlanguage-link interwiki-oc mw-list-item"><a href="https://oc.wikipedia.org/wiki/Ensemble" title="Ensemble – occitano" lang="oc" hreflang="oc" data-title="Ensemble" data-language-autonym="Occitan" data-language-local-name="occitano" class="interlanguage-link-target"><span>Occitan</span></a></li><li class="interlanguage-link interwiki-pa mw-list-item"><a href="https://pa.wikipedia.org/wiki/%E0%A8%B8%E0%A9%88%E0%A9%B1%E0%A8%9F_(%E0%A8%97%E0%A8%A3%E0%A8%BF%E0%A8%A4)" title="ਸੈੱਟ (ਗਣਿਤ) – panxabí" lang="pa" hreflang="pa" data-title="ਸੈੱਟ (ਗਣਿਤ)" data-language-autonym="ਪੰਜਾਬੀ" data-language-local-name="panxabí" class="interlanguage-link-target"><span>ਪੰਜਾਬੀ</span></a></li><li class="interlanguage-link interwiki-pl mw-list-item"><a href="https://pl.wikipedia.org/wiki/Zbi%C3%B3r" title="Zbiór – polaco" lang="pl" hreflang="pl" data-title="Zbiór" data-language-autonym="Polski" data-language-local-name="polaco" class="interlanguage-link-target"><span>Polski</span></a></li><li class="interlanguage-link interwiki-pms mw-list-item"><a href="https://pms.wikipedia.org/wiki/Ansem" title="Ansem – Piedmontese" lang="pms" hreflang="pms" data-title="Ansem" data-language-autonym="Piemontèis" data-language-local-name="Piedmontese" class="interlanguage-link-target"><span>Piemontèis</span></a></li><li class="interlanguage-link interwiki-pt mw-list-item"><a href="https://pt.wikipedia.org/wiki/Conjunto" title="Conjunto – portugués" lang="pt" hreflang="pt" data-title="Conjunto" data-language-autonym="Português" data-language-local-name="portugués" class="interlanguage-link-target"><span>Português</span></a></li><li class="interlanguage-link interwiki-qu mw-list-item"><a href="https://qu.wikipedia.org/wiki/Tantachisqa" title="Tantachisqa – quechua" lang="qu" hreflang="qu" data-title="Tantachisqa" data-language-autonym="Runa Simi" data-language-local-name="quechua" class="interlanguage-link-target"><span>Runa Simi</span></a></li><li class="interlanguage-link interwiki-ro mw-list-item"><a href="https://ro.wikipedia.org/wiki/Mul%C8%9Bime" title="Mulțime – romanés" lang="ro" hreflang="ro" data-title="Mulțime" data-language-autonym="Română" data-language-local-name="romanés" class="interlanguage-link-target"><span>Română</span></a></li><li class="interlanguage-link interwiki-ru mw-list-item"><a href="https://ru.wikipedia.org/wiki/%D0%9C%D0%BD%D0%BE%D0%B6%D0%B5%D1%81%D1%82%D0%B2%D0%BE" title="Множество – ruso" lang="ru" hreflang="ru" data-title="Множество" data-language-autonym="Русский" data-language-local-name="ruso" class="interlanguage-link-target"><span>Русский</span></a></li><li class="interlanguage-link interwiki-scn mw-list-item"><a href="https://scn.wikipedia.org/wiki/Nzemi" title="Nzemi – siciliano" lang="scn" hreflang="scn" data-title="Nzemi" data-language-autonym="Sicilianu" data-language-local-name="siciliano" class="interlanguage-link-target"><span>Sicilianu</span></a></li><li class="interlanguage-link interwiki-sh mw-list-item"><a href="https://sh.wikipedia.org/wiki/Skup" title="Skup – serbocroata" lang="sh" hreflang="sh" data-title="Skup" data-language-autonym="Srpskohrvatski / српскохрватски" data-language-local-name="serbocroata" class="interlanguage-link-target"><span>Srpskohrvatski / српскохрватски</span></a></li><li class="interlanguage-link interwiki-simple mw-list-item"><a href="https://simple.wikipedia.org/wiki/Set" title="Set – Simple English" lang="en-simple" hreflang="en-simple" data-title="Set" data-language-autonym="Simple English" data-language-local-name="Simple English" class="interlanguage-link-target"><span>Simple English</span></a></li><li class="interlanguage-link interwiki-sk mw-list-item"><a href="https://sk.wikipedia.org/wiki/Mno%C5%BEina" title="Množina – eslovaco" lang="sk" hreflang="sk" data-title="Množina" data-language-autonym="Slovenčina" data-language-local-name="eslovaco" class="interlanguage-link-target"><span>Slovenčina</span></a></li><li class="interlanguage-link interwiki-sl mw-list-item"><a href="https://sl.wikipedia.org/wiki/Mno%C5%BEica" title="Množica – esloveno" lang="sl" hreflang="sl" data-title="Množica" data-language-autonym="Slovenščina" data-language-local-name="esloveno" class="interlanguage-link-target"><span>Slovenščina</span></a></li><li class="interlanguage-link interwiki-so mw-list-item"><a href="https://so.wikipedia.org/wiki/Qaybta_(xisaab)" title="Qaybta (xisaab) – somalí" lang="so" hreflang="so" data-title="Qaybta (xisaab)" data-language-autonym="Soomaaliga" data-language-local-name="somalí" class="interlanguage-link-target"><span>Soomaaliga</span></a></li><li class="interlanguage-link interwiki-sq mw-list-item"><a href="https://sq.wikipedia.org/wiki/Bashk%C3%ABsit%C3%AB" title="Bashkësitë – albanés" lang="sq" hreflang="sq" data-title="Bashkësitë" data-language-autonym="Shqip" data-language-local-name="albanés" class="interlanguage-link-target"><span>Shqip</span></a></li><li class="interlanguage-link interwiki-sr mw-list-item"><a href="https://sr.wikipedia.org/wiki/%D0%A1%D0%BA%D1%83%D0%BF" title="Скуп – serbio" lang="sr" hreflang="sr" data-title="Скуп" data-language-autonym="Српски / srpski" data-language-local-name="serbio" class="interlanguage-link-target"><span>Српски / srpski</span></a></li><li class="interlanguage-link interwiki-sv mw-list-item"><a href="https://sv.wikipedia.org/wiki/M%C3%A4ngd" title="Mängd – sueco" lang="sv" hreflang="sv" data-title="Mängd" data-language-autonym="Svenska" data-language-local-name="sueco" class="interlanguage-link-target"><span>Svenska</span></a></li><li class="interlanguage-link interwiki-szl mw-list-item"><a href="https://szl.wikipedia.org/wiki/Mynga_(matymatyka)" title="Mynga (matymatyka) – Silesian" lang="szl" hreflang="szl" data-title="Mynga (matymatyka)" data-language-autonym="Ślůnski" data-language-local-name="Silesian" class="interlanguage-link-target"><span>Ślůnski</span></a></li><li class="interlanguage-link interwiki-ta mw-list-item"><a href="https://ta.wikipedia.org/wiki/%E0%AE%95%E0%AE%A3%E0%AE%AE%E0%AF%8D_(%E0%AE%95%E0%AE%A3%E0%AE%BF%E0%AE%A4%E0%AE%AE%E0%AF%8D)" title="கணம் (கணிதம்) – támil" lang="ta" hreflang="ta" data-title="கணம் (கணிதம்)" data-language-autonym="தமிழ்" data-language-local-name="támil" class="interlanguage-link-target"><span>தமிழ்</span></a></li><li class="interlanguage-link interwiki-te mw-list-item"><a href="https://te.wikipedia.org/wiki/%E0%B0%B8%E0%B0%AE%E0%B0%BF%E0%B0%A4%E0%B1%81%E0%B0%B2%E0%B1%81" title="సమితులు – telugu" lang="te" hreflang="te" data-title="సమితులు" data-language-autonym="తెలుగు" data-language-local-name="telugu" class="interlanguage-link-target"><span>తెలుగు</span></a></li><li class="interlanguage-link interwiki-th mw-list-item"><a href="https://th.wikipedia.org/wiki/%E0%B9%80%E0%B8%8B%E0%B8%95_(%E0%B8%84%E0%B8%93%E0%B8%B4%E0%B8%95%E0%B8%A8%E0%B8%B2%E0%B8%AA%E0%B8%95%E0%B8%A3%E0%B9%8C)" title="เซต (คณิตศาสตร์) – tailandés" lang="th" hreflang="th" data-title="เซต (คณิตศาสตร์)" data-language-autonym="ไทย" data-language-local-name="tailandés" class="interlanguage-link-target"><span>ไทย</span></a></li><li class="interlanguage-link interwiki-tl mw-list-item"><a href="https://tl.wikipedia.org/wiki/Pangkat_(matematika)" title="Pangkat (matematika) – tagalo" lang="tl" hreflang="tl" data-title="Pangkat (matematika)" data-language-autonym="Tagalog" data-language-local-name="tagalo" class="interlanguage-link-target"><span>Tagalog</span></a></li><li class="interlanguage-link interwiki-tr mw-list-item"><a href="https://tr.wikipedia.org/wiki/K%C3%BCme" title="Küme – turco" lang="tr" hreflang="tr" data-title="Küme" data-language-autonym="Türkçe" data-language-local-name="turco" class="interlanguage-link-target"><span>Türkçe</span></a></li><li class="interlanguage-link interwiki-uk mw-list-item"><a href="https://uk.wikipedia.org/wiki/%D0%9C%D0%BD%D0%BE%D0%B6%D0%B8%D0%BD%D0%B0" title="Множина – ucraíno" lang="uk" hreflang="uk" data-title="Множина" data-language-autonym="Українська" data-language-local-name="ucraíno" class="interlanguage-link-target"><span>Українська</span></a></li><li class="interlanguage-link interwiki-ur mw-list-item"><a href="https://ur.wikipedia.org/wiki/%D8%B7%D8%A7%D9%82%D9%85_(%D8%B1%DB%8C%D8%A7%D8%B6%DB%8C)" title="طاقم (ریاضی) – urdú" lang="ur" hreflang="ur" data-title="طاقم (ریاضی)" data-language-autonym="اردو" data-language-local-name="urdú" class="interlanguage-link-target"><span>اردو</span></a></li><li class="interlanguage-link interwiki-uz mw-list-item"><a href="https://uz.wikipedia.org/wiki/To%CA%BBplam_(matematika)" title="Toʻplam (matematika) – uzbeko" lang="uz" hreflang="uz" data-title="Toʻplam (matematika)" data-language-autonym="Oʻzbekcha / ўзбекча" data-language-local-name="uzbeko" class="interlanguage-link-target"><span>Oʻzbekcha / ўзбекча</span></a></li><li class="interlanguage-link interwiki-vi mw-list-item"><a href="https://vi.wikipedia.org/wiki/T%E1%BA%ADp_h%E1%BB%A3p_(to%C3%A1n_h%E1%BB%8Dc)" title="Tập hợp (toán học) – vietnamita" lang="vi" hreflang="vi" data-title="Tập hợp (toán học)" data-language-autonym="Tiếng Việt" data-language-local-name="vietnamita" class="interlanguage-link-target"><span>Tiếng Việt</span></a></li><li class="interlanguage-link interwiki-vls mw-list-item"><a href="https://vls.wikipedia.org/wiki/Verzoamelienge" title="Verzoamelienge – West Flemish" lang="vls" hreflang="vls" data-title="Verzoamelienge" data-language-autonym="West-Vlams" data-language-local-name="West Flemish" class="interlanguage-link-target"><span>West-Vlams</span></a></li><li class="interlanguage-link interwiki-wuu mw-list-item"><a href="https://wuu.wikipedia.org/wiki/%E9%9B%86%E5%90%88%EF%BC%88%E6%95%B0%E5%AD%A6%EF%BC%89" title="集合（数学） – chinés wu" lang="wuu" hreflang="wuu" data-title="集合（数学）" data-language-autonym="吴语" data-language-local-name="chinés wu" class="interlanguage-link-target"><span>吴语</span></a></li><li class="interlanguage-link interwiki-xal mw-list-item"><a href="https://xal.wikipedia.org/wiki/%D0%9E%D0%BB%D0%BD" title="Олн – calmuco" lang="xal" hreflang="xal" data-title="Олн" data-language-autonym="Хальмг" data-language-local-name="calmuco" class="interlanguage-link-target"><span>Хальмг</span></a></li><li class="interlanguage-link interwiki-xmf mw-list-item"><a href="https://xmf.wikipedia.org/wiki/%E1%83%9B%E1%83%98%E1%83%90%E1%83%A0%E1%83%94" title="მიარე – Mingrelian" lang="xmf" hreflang="xmf" data-title="მიარე" data-language-autonym="მარგალური" data-language-local-name="Mingrelian" class="interlanguage-link-target"><span>მარგალური</span></a></li><li class="interlanguage-link interwiki-yi mw-list-item"><a href="https://yi.wikipedia.org/wiki/%D7%92%D7%A2%D7%96%D7%A2%D7%9E%D7%9C_(%D7%9E%D7%90%D7%98%D7%A2%D7%9E%D7%90%D7%98%D7%99%D7%A7)" title="געזעמל (מאטעמאטיק) – yiddish" lang="yi" hreflang="yi" data-title="געזעמל (מאטעמאטיק)" data-language-autonym="ייִדיש" data-language-local-name="yiddish" class="interlanguage-link-target"><span>ייִדיש</span></a></li><li class="interlanguage-link interwiki-zh mw-list-item"><a href="https://zh.wikipedia.org/wiki/%E9%9B%86%E5%90%88_(%E6%95%B0%E5%AD%A6)" title="集合 (数学) – chinés" lang="zh" hreflang="zh" data-title="集合 (数学)" data-language-autonym="中文" data-language-local-name="chinés" class="interlanguage-link-target"><span>中文</span></a></li><li class="interlanguage-link interwiki-zh-classical mw-list-item"><a href="https://zh-classical.wikipedia.org/wiki/%E9%9B%86" title="集 – Literary Chinese" lang="lzh" hreflang="lzh" data-title="集" data-language-autonym="文言" data-language-local-name="Literary Chinese" class="interlanguage-link-target"><span>文言</span></a></li><li class="interlanguage-link interwiki-zh-min-nan mw-list-item"><a href="https://zh-min-nan.wikipedia.org/wiki/Chi%CC%8Dp-ha%CC%8Dp" title="Chi̍p-ha̍p – Minnan" lang="nan" hreflang="nan" data-title="Chi̍p-ha̍p" data-language-autonym="閩南語 / Bân-lâm-gú" data-language-local-name="Minnan" class="interlanguage-link-target"><span>閩南語 / Bân-lâm-gú</span></a></li><li class="interlanguage-link interwiki-zh-yue mw-list-item"><a href="https://zh-yue.wikipedia.org/wiki/%E9%9B%86%E5%90%88" title="集合 – cantonés" lang="yue" hreflang="yue" data-title="集合" data-language-autonym="粵語" data-language-local-name="cantonés" class="interlanguage-link-target"><span>粵語</span></a></li> </ul> <div class="after-portlet after-portlet-lang"><span class="wb-langlinks-edit wb-langlinks-link"><a href="https://www.wikidata.org/wiki/Special:EntityPage/Q36161#sitelinks-wikipedia" title="Editar as ligazóns interlingüísticas" class="wbc-editpage">Editar as ligazóns</a></span></div> </div> </div> </div> </header> <div class="vector-page-toolbar"> <div class="vector-page-toolbar-container"> <div id="left-navigation"> <nav aria-label="Espazos de nomes"> <div id="p-associated-pages" class="vector-menu vector-menu-tabs mw-portlet mw-portlet-associated-pages" > <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="ca-nstab-main" class="selected vector-tab-noicon mw-list-item"><a href="/wiki/Conxunto" title="Ver o contido da páxina [c]" accesskey="c"><span>Artigo</span></a></li><li id="ca-talk" class="new vector-tab-noicon mw-list-item"><a href="/w/index.php?title=Conversa:Conxunto&action=edit&redlink=1" rel="discussion" class="new" title="Conversa acerca do contido desta páxina (a páxina aínda non existe) [t]" accesskey="t"><span>Conversa</span></a></li> </ul> </div> </div> <div id="vector-variants-dropdown" class="vector-dropdown emptyPortlet" > <input type="checkbox" id="vector-variants-dropdown-checkbox" role="button" aria-haspopup="true" data-event-name="ui.dropdown-vector-variants-dropdown" class="vector-dropdown-checkbox " aria-label="Cambiar a variante de lingua" > <label id="vector-variants-dropdown-label" for="vector-variants-dropdown-checkbox" class="vector-dropdown-label cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet" aria-hidden="true" ><span class="vector-dropdown-label-text">galego</span> </label> <div class="vector-dropdown-content"> <div id="p-variants" class="vector-menu mw-portlet mw-portlet-variants emptyPortlet" > <div class="vector-menu-content"> <ul class="vector-menu-content-list"> </ul> </div> </div> </div> </div> </nav> </div> <div id="right-navigation" class="vector-collapsible"> <nav aria-label="Vistas"> <div id="p-views" class="vector-menu vector-menu-tabs mw-portlet mw-portlet-views" > <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="ca-view" class="selected vector-tab-noicon mw-list-item"><a href="/wiki/Conxunto"><span>Ler</span></a></li><li id="ca-ve-edit" class="vector-tab-noicon mw-list-item"><a href="/w/index.php?title=Conxunto&veaction=edit" title="Editar esta páxina [v]" accesskey="v"><span>Editar</span></a></li><li id="ca-edit" class="collapsible vector-tab-noicon mw-list-item"><a href="/w/index.php?title=Conxunto&action=edit" title="Editar o código fonte desta páxina [e]" accesskey="e"><span>Editar a fonte</span></a></li><li id="ca-history" class="vector-tab-noicon mw-list-item"><a href="/w/index.php?title=Conxunto&action=history" title="Versións anteriores desta páxina [h]" accesskey="h"><span>Ver o historial</span></a></li> </ul> </div> </div> </nav> <nav class="vector-page-tools-landmark" aria-label="Ferramentas das páxinas"> <div id="vector-page-tools-dropdown" class="vector-dropdown vector-page-tools-dropdown" > <input type="checkbox" id="vector-page-tools-dropdown-checkbox" role="button" aria-haspopup="true" data-event-name="ui.dropdown-vector-page-tools-dropdown" class="vector-dropdown-checkbox " aria-label="Ferramentas" > <label id="vector-page-tools-dropdown-label" for="vector-page-tools-dropdown-checkbox" class="vector-dropdown-label cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet" aria-hidden="true" ><span class="vector-dropdown-label-text">Ferramentas</span> </label> <div class="vector-dropdown-content"> <div id="vector-page-tools-unpinned-container" class="vector-unpinned-container"> <div id="vector-page-tools" class="vector-page-tools vector-pinnable-element"> <div class="vector-pinnable-header vector-page-tools-pinnable-header vector-pinnable-header-unpinned" data-feature-name="page-tools-pinned" data-pinnable-element-id="vector-page-tools" data-pinned-container-id="vector-page-tools-pinned-container" data-unpinned-container-id="vector-page-tools-unpinned-container" > <div class="vector-pinnable-header-label">Ferramentas</div> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-pin-button" data-event-name="pinnable-header.vector-page-tools.pin">mover á barra lateral</button> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-unpin-button" data-event-name="pinnable-header.vector-page-tools.unpin">agochar</button> </div> <div id="p-cactions" class="vector-menu mw-portlet mw-portlet-cactions emptyPortlet vector-has-collapsible-items" title="Máis opcións" > <div class="vector-menu-heading"> Accións </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="ca-more-view" class="selected vector-more-collapsible-item mw-list-item"><a href="/wiki/Conxunto"><span>Ler</span></a></li><li id="ca-more-ve-edit" class="vector-more-collapsible-item mw-list-item"><a href="/w/index.php?title=Conxunto&veaction=edit" title="Editar esta páxina [v]" accesskey="v"><span>Editar</span></a></li><li id="ca-more-edit" class="collapsible vector-more-collapsible-item mw-list-item"><a href="/w/index.php?title=Conxunto&action=edit" title="Editar o código fonte desta páxina [e]" accesskey="e"><span>Editar a fonte</span></a></li><li id="ca-more-history" class="vector-more-collapsible-item mw-list-item"><a href="/w/index.php?title=Conxunto&action=history"><span>Ver o historial</span></a></li> </ul> </div> </div> <div id="p-tb" class="vector-menu mw-portlet mw-portlet-tb" > <div class="vector-menu-heading"> Xeral </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="t-whatlinkshere" class="mw-list-item"><a href="/wiki/Especial:P%C3%A1xinas_que_ligan_con_esta/Conxunto" title="Lista de todas as páxinas do wiki que ligan cara a aquí [j]" accesskey="j"><span>Páxinas que ligan con esta</span></a></li><li id="t-recentchangeslinked" class="mw-list-item"><a href="/wiki/Especial:Cambios_relacionados/Conxunto" rel="nofollow" title="Cambios recentes nas páxinas ligadas desde esta [k]" accesskey="k"><span>Cambios relacionados</span></a></li><li id="t-specialpages" class="mw-list-item"><a href="/wiki/Especial:P%C3%A1xinas_especiais" title="Lista de todas as páxinas especiais [q]" accesskey="q"><span>Páxinas especiais</span></a></li><li id="t-permalink" class="mw-list-item"><a href="/w/index.php?title=Conxunto&oldid=4472402" title="Ligazón permanente a esta versión desta páxina"><span>Ligazón permanente</span></a></li><li id="t-info" class="mw-list-item"><a href="/w/index.php?title=Conxunto&action=info" title="Máis información sobre esta páxina"><span>Información da páxina</span></a></li><li id="t-cite" class="mw-list-item"><a href="/w/index.php?title=Especial:Cita&page=Conxunto&id=4472402&wpFormIdentifier=titleform" title="Información sobre como citar esta páxina"><span>Citar esta páxina</span></a></li><li id="t-urlshortener" class="mw-list-item"><a href="/w/index.php?title=Especial:UrlShortener&url=https%3A%2F%2Fgl.wikipedia.org%2Fwiki%2FConxunto"><span>Xerar URL acurtado</span></a></li><li id="t-urlshortener-qrcode" class="mw-list-item"><a href="/w/index.php?title=Especial:QrCode&url=https%3A%2F%2Fgl.wikipedia.org%2Fwiki%2FConxunto"><span>Descargar o código QR</span></a></li> </ul> </div> </div> <div id="p-coll-print_export" class="vector-menu mw-portlet mw-portlet-coll-print_export" > <div class="vector-menu-heading"> Imprimir/exportar </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="coll-create_a_book" class="mw-list-item"><a href="/w/index.php?title=Especial:Libro&bookcmd=book_creator&referer=Conxunto"><span>Crear un libro</span></a></li><li id="coll-download-as-rl" class="mw-list-item"><a href="/w/index.php?title=Especial:DownloadAsPdf&page=Conxunto&action=show-download-screen"><span>Descargar como PDF</span></a></li><li id="t-print" class="mw-list-item"><a href="/w/index.php?title=Conxunto&printable=yes" title="Versión para imprimir da páxina [p]" accesskey="p"><span>Versión para imprimir</span></a></li> </ul> </div> </div> <div id="p-wikibase-otherprojects" class="vector-menu mw-portlet mw-portlet-wikibase-otherprojects" > <div class="vector-menu-heading"> Noutros proxectos </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li class="wb-otherproject-link wb-otherproject-commons mw-list-item"><a href="https://commons.wikimedia.org/wiki/Category:Sets_(mathematics)" hreflang="en"><span>Wikimedia Commons</span></a></li><li id="t-wikibase" class="wb-otherproject-link wb-otherproject-wikibase-dataitem mw-list-item"><a href="https://www.wikidata.org/wiki/Special:EntityPage/Q36161" title="Ligazón ao elemento conectado no repositorio de datos [g]" accesskey="g"><span>Elemento de Wikidata</span></a></li> </ul> </div> </div> </div> </div> </div> </div> </nav> </div> </div> </div> <div class="vector-column-end"> <div class="vector-sticky-pinned-container"> <nav class="vector-page-tools-landmark" aria-label="Ferramentas das páxinas"> <div id="vector-page-tools-pinned-container" class="vector-pinned-container"> </div> </nav> <nav class="vector-appearance-landmark" aria-label="Aparencia"> <div id="vector-appearance-pinned-container" class="vector-pinned-container"> <div id="vector-appearance" class="vector-appearance vector-pinnable-element"> <div class="vector-pinnable-header vector-appearance-pinnable-header vector-pinnable-header-pinned" data-feature-name="appearance-pinned" data-pinnable-element-id="vector-appearance" data-pinned-container-id="vector-appearance-pinned-container" data-unpinned-container-id="vector-appearance-unpinned-container" > <div class="vector-pinnable-header-label">Aparencia</div> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-pin-button" data-event-name="pinnable-header.vector-appearance.pin">mover á barra lateral</button> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-unpin-button" data-event-name="pinnable-header.vector-appearance.unpin">agochar</button> </div> </div> </div> </nav> </div> </div> <div id="bodyContent" class="vector-body" aria-labelledby="firstHeading" data-mw-ve-target-container> <div class="vector-body-before-content"> <div class="mw-indicators"> </div> <div id="siteSub" class="noprint">Na Galipedia, a Wikipedia en galego.</div> </div> <div id="contentSub"><div id="mw-content-subtitle"></div></div> <div id="mw-content-text" class="mw-body-content"><div class="mw-content-ltr mw-parser-output" lang="gl" dir="ltr"><p>O concepto de <b>conxunto</b> na <a href="/wiki/Matem%C3%A1tica" class="mw-redirect" title="Matemática">Matemática</a> é intuitivo e poderiamos definilo como unha colección de varios obxectos ou elementos, sen importar a súa orde e feita con calquera criterio. Un conxunto está ben definido se é sabido se un determinado elemento pertence ou non ao conxunto. </p><p>Os conxuntos represéntanse cunha letra maiúscula. </p><p>Dous conxuntos <i>A</i> e <i>B</i> son <b>iguais</b> cando posúen precisamente os mesmos elementos, isto é, se cada elemento de <i>A</i> é un elemento de <i>B</i> e cada elemento de <i>B</i> é un elemento de <i>A</i>. </p> <meta property="mw:PageProp/toc" /> <div class="mw-heading mw-heading2"><h2 id="Notación"><span id="Notaci.C3.B3n"></span>Notación</h2><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Conxunto&veaction=edit&section=1" title="Editar a sección: «Notación»" class="mw-editsection-visualeditor"><span>editar</span></a><span class="mw-editsection-divider"> | </span><a href="/w/index.php?title=Conxunto&action=edit&section=1" title="Editar o código fonte da sección: Notación"><span>editar a fonte</span></a><span class="mw-editsection-bracket">]</span></span></div> <p>Normalmente, úsanse letras maíusculas para representar os conxuntos e letras minúsculas para representar os elementos dun conxunto dado. Se <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle ~A}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mtext> </mtext> <mi>A</mi> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle ~A}</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/17327d088840ce291c8db59b592489ef8e6e94bd" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:2.324ex; height:2.176ex;" alt="{\displaystyle ~A}"></span> é un conxunto e <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle ~a,b,c,d,e}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mtext> </mtext> <mi>a</mi> <mo>,</mo> <mi>b</mi> <mo>,</mo> <mi>c</mi> <mo>,</mo> <mi>d</mi> <mo>,</mo> <mi>e</mi> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle ~a,b,c,d,e}</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/628e92fa29028001572ca8a77f64c85a142c01af" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:10.25ex; height:2.509ex;" alt="{\displaystyle ~a,b,c,d,e}"></span> todos os seus elementos, é frecuente escribir: </p> <dl><dd><span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle ~A=\{a,b,c,d,e\}}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mtext> </mtext> <mi>A</mi> <mo>=</mo> <mo fence="false" stretchy="false">{</mo> <mi>a</mi> <mo>,</mo> <mi>b</mi> <mo>,</mo> <mi>c</mi> <mo>,</mo> <mi>d</mi> <mo>,</mo> <mi>e</mi> <mo fence="false" stretchy="false">}</mo> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle ~A=\{a,b,c,d,e\}}</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/75d4f91915c15bcf2c1c2972419673ae8ea6f5d7" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:17.416ex; height:2.843ex;" alt="{\displaystyle ~A=\{a,b,c,d,e\}}"></span> (1)</dd></dl> <p>para definir tal conxunto <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle ~A}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mtext> </mtext> <mi>A</mi> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle ~A}</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/17327d088840ce291c8db59b592489ef8e6e94bd" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:2.324ex; height:2.176ex;" alt="{\displaystyle ~A}"></span>. A notación empregada en (1) para definir o conxunto <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle ~A}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mtext> </mtext> <mi>A</mi> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle ~A}</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/17327d088840ce291c8db59b592489ef8e6e94bd" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:2.324ex; height:2.176ex;" alt="{\displaystyle ~A}"></span> chámase <i>notación por extensión</i>. </p><p>Para representar que un elemento <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle ~x}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mtext> </mtext> <mi>x</mi> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle ~x}</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/bf612dcb5d502c1eaf4b03455e201ed83c3864f0" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:1.91ex; height:1.676ex;" alt="{\displaystyle ~x}"></span> pertence a un conxunto <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle ~A}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mtext> </mtext> <mi>A</mi> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle ~A}</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/17327d088840ce291c8db59b592489ef8e6e94bd" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:2.324ex; height:2.176ex;" alt="{\displaystyle ~A}"></span>, escríbese <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle x\in A}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mi>x</mi> <mo>∈</mo> <mi>A</mi> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle x\in A}</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/27bcc9b2afb295d4234bc294860cd0c63bcad2ca" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:5.913ex; height:2.176ex;" alt="{\displaystyle x\in A}"></span> (léase ben <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle ~x}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mtext> </mtext> <mi>x</mi> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle ~x}</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/bf612dcb5d502c1eaf4b03455e201ed83c3864f0" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:1.91ex; height:1.676ex;" alt="{\displaystyle ~x}"></span> no <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle ~A}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mtext> </mtext> <mi>A</mi> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle ~A}</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/17327d088840ce291c8db59b592489ef8e6e94bd" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:2.324ex; height:2.176ex;" alt="{\displaystyle ~A}"></span>, ben <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle ~x}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mtext> </mtext> <mi>x</mi> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle ~x}</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/bf612dcb5d502c1eaf4b03455e201ed83c3864f0" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:1.91ex; height:1.676ex;" alt="{\displaystyle ~x}"></span> pertence ao <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle ~A}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mtext> </mtext> <mi>A</mi> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle ~A}</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/17327d088840ce291c8db59b592489ef8e6e94bd" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:2.324ex; height:2.176ex;" alt="{\displaystyle ~A}"></span>). A negación de <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle x\in A}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mi>x</mi> <mo>∈</mo> <mi>A</mi> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle x\in A}</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/27bcc9b2afb295d4234bc294860cd0c63bcad2ca" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:5.913ex; height:2.176ex;" alt="{\displaystyle x\in A}"></span> escríbese <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle x\notin A}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mi>x</mi> <mo>∉</mo> <mi>A</mi> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle x\notin A}</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/8152431575305d6a6145adf9b279891a65923eba" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:5.913ex; height:2.676ex;" alt="{\displaystyle x\notin A}"></span> (léase <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle ~x}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mtext> </mtext> <mi>x</mi> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle ~x}</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/bf612dcb5d502c1eaf4b03455e201ed83c3864f0" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:1.91ex; height:1.676ex;" alt="{\displaystyle ~x}"></span> non pertence ao <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle ~A}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mtext> </mtext> <mi>A</mi> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle ~A}</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/17327d088840ce291c8db59b592489ef8e6e94bd" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:2.324ex; height:2.176ex;" alt="{\displaystyle ~A}"></span>). </p><p>Se todos os elementos <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle ~x}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mtext> </mtext> <mi>x</mi> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle ~x}</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/bf612dcb5d502c1eaf4b03455e201ed83c3864f0" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:1.91ex; height:1.676ex;" alt="{\displaystyle ~x}"></span> dun conxunto <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle ~A}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mtext> </mtext> <mi>A</mi> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle ~A}</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/17327d088840ce291c8db59b592489ef8e6e94bd" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:2.324ex; height:2.176ex;" alt="{\displaystyle ~A}"></span> satisfan algunha propiedade —que pode representarse como unha proposición <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle p\left(x\right)}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mi>p</mi> <mrow> <mo>(</mo> <mi>x</mi> <mo>)</mo> </mrow> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle p\left(x\right)}</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/98e3da5dfd5fd02cf75471abc805c7a505ecd8fd" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; margin-left: -0.089ex; width:4.785ex; height:2.843ex;" alt="{\displaystyle p\left(x\right)}"></span> coa indeterminada <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle ~x}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mtext> </mtext> <mi>x</mi> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle ~x}</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/bf612dcb5d502c1eaf4b03455e201ed83c3864f0" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:1.91ex; height:1.676ex;" alt="{\displaystyle ~x}"></span>—, usamos a <i>notación por comprensión</i>, e pode definirse: </p> <dl><dd><span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle ~A=\{x:p\left(x\right)\}}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mtext> </mtext> <mi>A</mi> <mo>=</mo> <mo fence="false" stretchy="false">{</mo> <mi>x</mi> <mo>:</mo> <mi>p</mi> <mrow> <mo>(</mo> <mi>x</mi> <mo>)</mo> </mrow> <mo fence="false" stretchy="false">}</mo> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle ~A=\{x:p\left(x\right)\}}</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/b17a326b190a78e7a36fd72cb4d812e1492cd2e4" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:15.709ex; height:2.843ex;" alt="{\displaystyle ~A=\{x:p\left(x\right)\}}"></span></dd> <dd><b>A</b> é o conxunto de elementos <b>x</b>, que cumpren <b>p(x)</b>, onde o símbolo <b>:</b> lese "cúmprese que", e pode ser substituído por unha barra <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle \mid }"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mo>∣</mo> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle \mid }</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/8f7b2136e276c4aec285a6c40b91180c16432b9b" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:0.647ex; height:2.843ex;" alt="{\displaystyle \mid }"></span> "tal que".</dd></dl> <p>Por exemplo, o conxunto <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle ~A=\{1,2,3,4\}}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mtext> </mtext> <mi>A</mi> <mo>=</mo> <mo fence="false" stretchy="false">{</mo> <mn>1</mn> <mo>,</mo> <mn>2</mn> <mo>,</mo> <mn>3</mn> <mo>,</mo> <mn>4</mn> <mo fence="false" stretchy="false">}</mo> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle ~A=\{1,2,3,4\}}</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/b52c173c1c09089e2bd8fa071aed1b665118a9cc" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:15.499ex; height:2.843ex;" alt="{\displaystyle ~A=\{1,2,3,4\}}"></span> pode definirse por: </p> <dl><dd><span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle ~A=\{n:1\leq n\leq 4,n\in \mathbb {N} \}}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mtext> </mtext> <mi>A</mi> <mo>=</mo> <mo fence="false" stretchy="false">{</mo> <mi>n</mi> <mo>:</mo> <mn>1</mn> <mo>≤</mo> <mi>n</mi> <mo>≤</mo> <mn>4</mn> <mo>,</mo> <mi>n</mi> <mo>∈</mo> <mrow class="MJX-TeXAtom-ORD"> <mi mathvariant="double-struck">N</mi> </mrow> <mo fence="false" stretchy="false">}</mo> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle ~A=\{n:1\leq n\leq 4,n\in \mathbb {N} \}}</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/e9885e51c17edd29b0a5c5dd8874e1bd4be5ebe6" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:27.943ex; height:2.843ex;" alt="{\displaystyle ~A=\{n:1\leq n\leq 4,n\in \mathbb {N} \}}"></span>.</dd></dl> <p>O símbolo <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle \mathbb {N} }"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mrow class="MJX-TeXAtom-ORD"> <mi mathvariant="double-struck">N</mi> </mrow> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle \mathbb {N} }</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/fdf9a96b565ea202d0f4322e9195613fb26a9bed" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:1.678ex; height:2.176ex;" alt="{\displaystyle \mathbb {N} }"></span> representa o conxunto dos <a href="/wiki/N%C3%BAmeros_naturais" class="mw-redirect" title="Números naturais">números naturais</a>. </p> <div class="mw-heading mw-heading3"><h3 id="Subconxuntos_e_superconxuntos">Subconxuntos e superconxuntos</h3><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Conxunto&veaction=edit&section=2" title="Editar a sección: «Subconxuntos e superconxuntos»" class="mw-editsection-visualeditor"><span>editar</span></a><span class="mw-editsection-divider"> | </span><a href="/w/index.php?title=Conxunto&action=edit&section=2" title="Editar o código fonte da sección: Subconxuntos e superconxuntos"><span>editar a fonte</span></a><span class="mw-editsection-bracket">]</span></span></div> <figure class="mw-default-size mw-halign-right" typeof="mw:File"><a href="/wiki/Ficheiro:Venn_A_subset_B.png" class="mw-file-description"><img src="//upload.wikimedia.org/wikipedia/commons/d/d6/Venn_A_subset_B.png" decoding="async" width="294" height="210" class="mw-file-element" data-file-width="294" data-file-height="210" /></a><figcaption></figcaption></figure> <p>Un conxunto <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle ~A}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mtext> </mtext> <mi>A</mi> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle ~A}</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/17327d088840ce291c8db59b592489ef8e6e94bd" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:2.324ex; height:2.176ex;" alt="{\displaystyle ~A}"></span> dise <i>subconxunto</i> doutro <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle ~B}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mtext> </mtext> <mi>B</mi> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle ~B}</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/9b0f733e87842725692fbe008e10b1182254de73" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:2.345ex; height:2.176ex;" alt="{\displaystyle ~B}"></span>, se todos os elementos do <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle ~A}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mtext> </mtext> <mi>A</mi> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle ~A}</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/17327d088840ce291c8db59b592489ef8e6e94bd" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:2.324ex; height:2.176ex;" alt="{\displaystyle ~A}"></span> son tamén elementos do <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle ~B}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mtext> </mtext> <mi>B</mi> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle ~B}</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/9b0f733e87842725692fbe008e10b1182254de73" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:2.345ex; height:2.176ex;" alt="{\displaystyle ~B}"></span>; matematicamente: </p> <dl><dd><span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle x\in A\qquad \Rightarrow \qquad x\in B}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mi>x</mi> <mo>∈</mo> <mi>A</mi> <mspace width="2em" /> <mo stretchy="false">⇒</mo> <mspace width="2em" /> <mi>x</mi> <mo>∈</mo> <mi>B</mi> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle x\in A\qquad \Rightarrow \qquad x\in B}</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/b4a29e4ca2c9078cdd40ce6a9608d6ea050f2d7d" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:24.752ex; height:2.176ex;" alt="{\displaystyle x\in A\qquad \Rightarrow \qquad x\in B}"></span>,</dd></dl> <p>sexa cal for o elemento <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle ~x}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mtext> </mtext> <mi>x</mi> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle ~x}</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/bf612dcb5d502c1eaf4b03455e201ed83c3864f0" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:1.91ex; height:1.676ex;" alt="{\displaystyle ~x}"></span>. Así, escríbese <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle A\subseteq B}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mi>A</mi> <mo>⊆</mo> <mi>B</mi> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle A\subseteq B}</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/b09068bd2f7ba899aeb883ebe670b2ad07b0c851" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.505ex; width:6.606ex; height:2.343ex;" alt="{\displaystyle A\subseteq B}"></span>. </p><p>Deberá ser sinalado que, por definición, non se exclúe a posibilidade de se <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle A\subseteq B}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mi>A</mi> <mo>⊆</mo> <mi>B</mi> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle A\subseteq B}</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/b09068bd2f7ba899aeb883ebe670b2ad07b0c851" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.505ex; width:6.606ex; height:2.343ex;" alt="{\displaystyle A\subseteq B}"></span>, cumprirse <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle A=B}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mi>A</mi> <mo>=</mo> <mi>B</mi> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle A=B}</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/045cafe35b1e9c9ac889481fd7178d6f59a77fdb" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:6.606ex; height:2.176ex;" alt="{\displaystyle A=B}"></span>. Se o <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle ~B}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mtext> </mtext> <mi>B</mi> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle ~B}</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/9b0f733e87842725692fbe008e10b1182254de73" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:2.345ex; height:2.176ex;" alt="{\displaystyle ~B}"></span> ten ao menos un elemento que non pertenza ao conxunto <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle ~A}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mtext> </mtext> <mi>A</mi> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle ~A}</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/17327d088840ce291c8db59b592489ef8e6e94bd" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:2.324ex; height:2.176ex;" alt="{\displaystyle ~A}"></span>, mais se todos os elementos do <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle ~A}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mtext> </mtext> <mi>A</mi> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle ~A}</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/17327d088840ce291c8db59b592489ef8e6e94bd" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:2.324ex; height:2.176ex;" alt="{\displaystyle ~A}"></span> son elementos do <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle ~B}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mtext> </mtext> <mi>B</mi> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle ~B}</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/9b0f733e87842725692fbe008e10b1182254de73" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:2.345ex; height:2.176ex;" alt="{\displaystyle ~B}"></span>, entón dicimos que <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle ~A}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mtext> </mtext> <mi>A</mi> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle ~A}</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/17327d088840ce291c8db59b592489ef8e6e94bd" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:2.324ex; height:2.176ex;" alt="{\displaystyle ~A}"></span> é un subconxunto propio do <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle ~B}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mtext> </mtext> <mi>B</mi> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle ~B}</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/9b0f733e87842725692fbe008e10b1182254de73" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:2.345ex; height:2.176ex;" alt="{\displaystyle ~B}"></span>, o que se representa como <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle A\subset B}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mi>A</mi> <mo>⊂</mo> <mi>B</mi> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle A\subset B}</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/010e98bb4c817357e3ef7e8fa7fbe2385b2aec6e" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:6.606ex; height:2.176ex;" alt="{\displaystyle A\subset B}"></span>. </p><p>Se o <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle ~A}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mtext> </mtext> <mi>A</mi> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle ~A}</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/17327d088840ce291c8db59b592489ef8e6e94bd" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:2.324ex; height:2.176ex;" alt="{\displaystyle ~A}"></span> é un subconxunto do <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle ~B}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mtext> </mtext> <mi>B</mi> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle ~B}</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/9b0f733e87842725692fbe008e10b1182254de73" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:2.345ex; height:2.176ex;" alt="{\displaystyle ~B}"></span>, dicimos tamén que o <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle ~B}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mtext> </mtext> <mi>B</mi> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle ~B}</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/9b0f733e87842725692fbe008e10b1182254de73" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:2.345ex; height:2.176ex;" alt="{\displaystyle ~B}"></span> é un <i>superconxunto</i> do <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle ~A}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mtext> </mtext> <mi>A</mi> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle ~A}</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/17327d088840ce291c8db59b592489ef8e6e94bd" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:2.324ex; height:2.176ex;" alt="{\displaystyle ~A}"></span>, o que se escribe <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle B\supseteq A}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mi>B</mi> <mo>⊇</mo> <mi>A</mi> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle B\supseteq A}</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/b2fd7d8e0fa00d29c0d6a35ab2c3d4cd636bd136" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.505ex; width:6.606ex; height:2.343ex;" alt="{\displaystyle B\supseteq A}"></span>. Logo </p><p><span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle B\supseteq A\qquad \Leftrightarrow \qquad A\subseteq B}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mi>B</mi> <mo>⊇</mo> <mi>A</mi> <mspace width="2em" /> <mo stretchy="false">⇔</mo> <mspace width="2em" /> <mi>A</mi> <mo>⊆</mo> <mi>B</mi> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle B\supseteq A\qquad \Leftrightarrow \qquad A\subseteq B}</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/9270cde0974ed76428ede699a7377d7efc14a3ed" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.505ex; width:26.116ex; height:2.343ex;" alt="{\displaystyle B\supseteq A\qquad \Leftrightarrow \qquad A\subseteq B}"></span>, </p><p>e tamén: <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle B\supset A\qquad \Leftrightarrow \qquad A\subset B}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mi>B</mi> <mo>⊃</mo> <mi>A</mi> <mspace width="2em" /> <mo stretchy="false">⇔</mo> <mspace width="2em" /> <mi>A</mi> <mo>⊂</mo> <mi>B</mi> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle B\supset A\qquad \Leftrightarrow \qquad A\subset B}</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/04c929610d19df100251146b7b688f0c3ff4578f" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:26.116ex; height:2.176ex;" alt="{\displaystyle B\supset A\qquad \Leftrightarrow \qquad A\subset B}"></span>, </p><p>significando <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle B\supset A}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mi>B</mi> <mo>⊃</mo> <mi>A</mi> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle B\supset A}</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/450398271587fcd521f7313ee3ebfdb5023e1c07" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:6.606ex; height:2.176ex;" alt="{\displaystyle B\supset A}"></span> que o <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle ~B}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mtext> </mtext> <mi>B</mi> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle ~B}</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/9b0f733e87842725692fbe008e10b1182254de73" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:2.345ex; height:2.176ex;" alt="{\displaystyle ~B}"></span> é <i>superconxunto propio</i> do <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle ~A}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mtext> </mtext> <mi>A</mi> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle ~A}</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/17327d088840ce291c8db59b592489ef8e6e94bd" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:2.324ex; height:2.176ex;" alt="{\displaystyle ~A}"></span>. </p><p>Polo principio de indentidade, é sempre certo <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle x\in A\quad \Rightarrow \quad x\in A}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mi>x</mi> <mo>∈</mo> <mi>A</mi> <mspace width="1em" /> <mo stretchy="false">⇒</mo> <mspace width="1em" /> <mi>x</mi> <mo>∈</mo> <mi>A</mi> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle x\in A\quad \Rightarrow \quad x\in A}</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/507d1ff3ea8d0b97217e5f37825ab04dfc7e609e" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:20.086ex; height:2.176ex;" alt="{\displaystyle x\in A\quad \Rightarrow \quad x\in A}"></span>, para todos os elementos <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle ~x}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mtext> </mtext> <mi>x</mi> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle ~x}</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/bf612dcb5d502c1eaf4b03455e201ed83c3864f0" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:1.91ex; height:1.676ex;" alt="{\displaystyle ~x}"></span>, polo que todo conxunto é subconxunto (e tamén superconxunto) de si mesmo. </p><p>Vemos que <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle \subseteq }"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mo>⊆</mo> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle \subseteq }</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/a924f8dcb2847bb8871edfdbf4c6b5cca0669228" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.505ex; width:1.808ex; height:2.176ex;" alt="{\displaystyle \subseteq }"></span> é unha relación de orde sobre un conxunto <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle ~S}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mtext> </mtext> <mi>S</mi> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle ~S}</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/489f74d38e7fbe355915ace5379a481675a94480" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:2.08ex; height:2.176ex;" alt="{\displaystyle ~S}"></span> de conxuntos, pois </p> <dl><dd><table> <tbody><tr> <td><span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle A\subseteq A}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mi>A</mi> <mo>⊆</mo> <mi>A</mi> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle A\subseteq A}</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/f1ce5093be9e30238b83393aed738eafd3a43030" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.505ex; width:6.585ex; height:2.343ex;" alt="{\displaystyle A\subseteq A}"></span> </td> <td> </td> <td> </td> <td><span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle \subseteq }"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mo>⊆</mo> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle \subseteq }</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/a924f8dcb2847bb8871edfdbf4c6b5cca0669228" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.505ex; width:1.808ex; height:2.176ex;" alt="{\displaystyle \subseteq }"></span> é <i>reflexiva</i>. </td></tr> <tr> <td><span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle A\subseteq B\wedge B\subseteq A}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mi>A</mi> <mo>⊆</mo> <mi>B</mi> <mo>∧</mo> <mi>B</mi> <mo>⊆</mo> <mi>A</mi> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle A\subseteq B\wedge B\subseteq A}</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/41ace16b7f5c078e3b42a40a3766870b030368ef" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.505ex; width:15.794ex; height:2.343ex;" alt="{\displaystyle A\subseteq B\wedge B\subseteq A}"></span> </td> <td><span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle \qquad \Rightarrow \qquad }"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mspace width="2em" /> <mo stretchy="false">⇒</mo> <mspace width="2em" /> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle \qquad \Rightarrow \qquad }</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/dc81a79ba24de1d9e23f9743ad67987e9d1073e1" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:11.614ex; height:1.843ex;" alt="{\displaystyle \qquad \Rightarrow \qquad }"></span> </td> <td><span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle A=B\,}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mi>A</mi> <mo>=</mo> <mi>B</mi> <mspace width="thinmathspace" /> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle A=B\,}</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/d9fd7f98ff906badc07593aad04782ae57871e4a" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:6.993ex; height:2.176ex;" alt="{\displaystyle A=B\,}"></span> </td> <td><span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle \subseteq }"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mo>⊆</mo> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle \subseteq }</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/a924f8dcb2847bb8871edfdbf4c6b5cca0669228" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.505ex; width:1.808ex; height:2.176ex;" alt="{\displaystyle \subseteq }"></span> é <i>antisimétrica</i> </td></tr> <tr> <td><span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle A\subseteq B\wedge B\subseteq C}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mi>A</mi> <mo>⊆</mo> <mi>B</mi> <mo>∧</mo> <mi>B</mi> <mo>⊆</mo> <mi>C</mi> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle A\subseteq B\wedge B\subseteq C}</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/3e760d6f0dfd8d9e9a1c01409337d74971d2f0fa" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.505ex; width:15.817ex; height:2.343ex;" alt="{\displaystyle A\subseteq B\wedge B\subseteq C}"></span> </td> <td><span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle \qquad \Rightarrow \qquad }"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mspace width="2em" /> <mo stretchy="false">⇒</mo> <mspace width="2em" /> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle \qquad \Rightarrow \qquad }</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/dc81a79ba24de1d9e23f9743ad67987e9d1073e1" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:11.614ex; height:1.843ex;" alt="{\displaystyle \qquad \Rightarrow \qquad }"></span> </td> <td><span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle A\subseteq C}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mi>A</mi> <mo>⊆</mo> <mi>C</mi> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle A\subseteq C}</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/c52a0a9fb646e916904c85763d980be597191ad2" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.505ex; width:6.608ex; height:2.343ex;" alt="{\displaystyle A\subseteq C}"></span> </td> <td><span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle \subseteq }"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mo>⊆</mo> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle \subseteq }</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/a924f8dcb2847bb8871edfdbf4c6b5cca0669228" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.505ex; width:1.808ex; height:2.176ex;" alt="{\displaystyle \subseteq }"></span> é <i>transitiva</i> </td></tr></tbody></table></dd></dl> <div class="mw-heading mw-heading3"><h3 id="Conxunto_baleiro">Conxunto baleiro</h3><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Conxunto&veaction=edit&section=3" title="Editar a sección: «Conxunto baleiro»" class="mw-editsection-visualeditor"><span>editar</span></a><span class="mw-editsection-divider"> | </span><a href="/w/index.php?title=Conxunto&action=edit&section=3" title="Editar o código fonte da sección: Conxunto baleiro"><span>editar a fonte</span></a><span class="mw-editsection-bracket">]</span></span></div> <p>O <b><a href="/wiki/Conxunto_baleiro" title="Conxunto baleiro">conxunto baleiro</a></b> ou <b>conxunto vacío</b> é un conxunto que non posúe elementos. Represéntase por <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle \{\}}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mo fence="false" stretchy="false">{</mo> <mo fence="false" stretchy="false">}</mo> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle \{\}}</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/3e6f1caa524dfcc90158ad69a51b5f9577fe5f1f" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:2.325ex; height:2.843ex;" alt="{\displaystyle \{\}}"></span> ou <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle \emptyset }"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mi mathvariant="normal">∅</mi> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle \emptyset }</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/6af50205f42bb2ec3c666b7b847d2c7f96e464c7" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.505ex; width:1.162ex; height:2.509ex;" alt="{\displaystyle \emptyset }"></span> </p><p>Todo conxunto posúe como subconxunto o <b>conxunto baleiro</b>. Podemos mostrar isto supondo que se o conxunto baleiro non pertence ao conxunto en cuestión, entón o conxunto baleiro debe posuír un elemento ao menos que non pertenza a este conxunto. Como o conxunto baleiro non posúe elementos, isto non é posíbel. Como todos os conxuntos baleiros son iguais uns aos outros, é permisíbel falar dun único conxunto sen elementos. </p> <div class="mw-heading mw-heading2"><h2 id="Operacións_cos_conxuntos"><span id="Operaci.C3.B3ns_cos_conxuntos"></span>Operacións cos conxuntos</h2><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Conxunto&veaction=edit&section=4" title="Editar a sección: «Operacións cos conxuntos»" class="mw-editsection-visualeditor"><span>editar</span></a><span class="mw-editsection-divider"> | </span><a href="/w/index.php?title=Conxunto&action=edit&section=4" title="Editar o código fonte da sección: Operacións cos conxuntos"><span>editar a fonte</span></a><span class="mw-editsection-bracket">]</span></span></div> <p>Sexan <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle ~A}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mtext> </mtext> <mi>A</mi> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle ~A}</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/17327d088840ce291c8db59b592489ef8e6e94bd" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:2.324ex; height:2.176ex;" alt="{\displaystyle ~A}"></span> e <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle ~B}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mtext> </mtext> <mi>B</mi> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle ~B}</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/9b0f733e87842725692fbe008e10b1182254de73" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:2.345ex; height:2.176ex;" alt="{\displaystyle ~B}"></span> dous conxuntos. </p> <div class="mw-heading mw-heading3"><h3 id="Unión"><span id="Uni.C3.B3n"></span>Unión</h3><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Conxunto&veaction=edit&section=5" title="Editar a sección: «Unión»" class="mw-editsection-visualeditor"><span>editar</span></a><span class="mw-editsection-divider"> | </span><a href="/w/index.php?title=Conxunto&action=edit&section=5" title="Editar o código fonte da sección: Unión"><span>editar a fonte</span></a><span class="mw-editsection-bracket">]</span></span></div> <figure class="mw-default-size" typeof="mw:File/Thumb"><a href="/wiki/Ficheiro:Venn0111.svg" class="mw-file-description"><img src="//upload.wikimedia.org/wikipedia/commons/thumb/3/30/Venn0111.svg/220px-Venn0111.svg.png" decoding="async" width="220" height="162" class="mw-file-element" srcset="//upload.wikimedia.org/wikipedia/commons/thumb/3/30/Venn0111.svg/330px-Venn0111.svg.png 1.5x, //upload.wikimedia.org/wikipedia/commons/thumb/3/30/Venn0111.svg/440px-Venn0111.svg.png 2x" data-file-width="380" data-file-height="280" /></a><figcaption><span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle A\cup B}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mi>A</mi> <mo>∪</mo> <mi>B</mi> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle A\cup B}</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/cdb575990bcfbcdf616aa6fd76e8b30bf7fd2169" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:6.09ex; height:2.176ex;" alt="{\displaystyle A\cup B}"></span></figcaption></figure> <p>Os elementos que pertencen ao <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle ~A}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mtext> </mtext> <mi>A</mi> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle ~A}</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/17327d088840ce291c8db59b592489ef8e6e94bd" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:2.324ex; height:2.176ex;" alt="{\displaystyle ~A}"></span> ou ao <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle ~B}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mtext> </mtext> <mi>B</mi> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle ~B}</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/9b0f733e87842725692fbe008e10b1182254de73" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:2.345ex; height:2.176ex;" alt="{\displaystyle ~B}"></span> ou a ambos os dous <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle ~A}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mtext> </mtext> <mi>A</mi> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle ~A}</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/17327d088840ce291c8db59b592489ef8e6e94bd" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:2.324ex; height:2.176ex;" alt="{\displaystyle ~A}"></span> e <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle ~B}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mtext> </mtext> <mi>B</mi> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle ~B}</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/9b0f733e87842725692fbe008e10b1182254de73" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:2.345ex; height:2.176ex;" alt="{\displaystyle ~B}"></span>, forman outro conxunto, chamado <b>unión</b> de <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle ~A}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mtext> </mtext> <mi>A</mi> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle ~A}</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/17327d088840ce291c8db59b592489ef8e6e94bd" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:2.324ex; height:2.176ex;" alt="{\displaystyle ~A}"></span> e <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle ~B}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mtext> </mtext> <mi>B</mi> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle ~B}</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/9b0f733e87842725692fbe008e10b1182254de73" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:2.345ex; height:2.176ex;" alt="{\displaystyle ~B}"></span>, escrito <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle A\cup B}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mi>A</mi> <mo>∪</mo> <mi>B</mi> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle A\cup B}</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/cdb575990bcfbcdf616aa6fd76e8b30bf7fd2169" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:6.09ex; height:2.176ex;" alt="{\displaystyle A\cup B}"></span>. Matematicamente: </p> <dl><dd><span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle A\cup B=\{x:x\in A\quad \vee \quad x\in B\}}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mi>A</mi> <mo>∪</mo> <mi>B</mi> <mo>=</mo> <mo fence="false" stretchy="false">{</mo> <mi>x</mi> <mo>:</mo> <mi>x</mi> <mo>∈</mo> <mi>A</mi> <mspace width="1em" /> <mo>∨</mo> <mspace width="1em" /> <mi>x</mi> <mo>∈</mo> <mi>B</mi> <mo fence="false" stretchy="false">}</mo> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle A\cup B=\{x:x\in A\quad \vee \quad x\in B\}}</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/d7ea2fc10f3bd10239229bd25a0e27d04c4d9f2c" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:33.855ex; height:2.843ex;" alt="{\displaystyle A\cup B=\{x:x\in A\quad \vee \quad x\in B\}}"></span>.</dd></dl> <div class="mw-heading mw-heading3"><h3 id="Intersección"><span id="Intersecci.C3.B3n"></span>Intersección</h3><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Conxunto&veaction=edit&section=6" title="Editar a sección: «Intersección»" class="mw-editsection-visualeditor"><span>editar</span></a><span class="mw-editsection-divider"> | </span><a href="/w/index.php?title=Conxunto&action=edit&section=6" title="Editar o código fonte da sección: Intersección"><span>editar a fonte</span></a><span class="mw-editsection-bracket">]</span></span></div> <figure class="mw-default-size" typeof="mw:File/Thumb"><a href="/wiki/Ficheiro:Venn0001.svg" class="mw-file-description"><img src="//upload.wikimedia.org/wikipedia/commons/thumb/9/99/Venn0001.svg/220px-Venn0001.svg.png" decoding="async" width="220" height="160" class="mw-file-element" srcset="//upload.wikimedia.org/wikipedia/commons/thumb/9/99/Venn0001.svg/330px-Venn0001.svg.png 1.5x, //upload.wikimedia.org/wikipedia/commons/thumb/9/99/Venn0001.svg/440px-Venn0001.svg.png 2x" data-file-width="410" data-file-height="299" /></a><figcaption><span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle A\cap B}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mi>A</mi> <mo>∩</mo> <mi>B</mi> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle A\cap B}</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/bb27b38cf9eac6060e67b61f66cd9beec5067f81" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:6.09ex; height:2.176ex;" alt="{\displaystyle A\cap B}"></span></figcaption></figure> <p>Os elementos comúns de <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle ~A}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mtext> </mtext> <mi>A</mi> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle ~A}</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/17327d088840ce291c8db59b592489ef8e6e94bd" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:2.324ex; height:2.176ex;" alt="{\displaystyle ~A}"></span> e mais de <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle ~B}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mtext> </mtext> <mi>B</mi> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle ~B}</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/9b0f733e87842725692fbe008e10b1182254de73" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:2.345ex; height:2.176ex;" alt="{\displaystyle ~B}"></span> forman un conxunto denominado <b>intersección</b> de <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle ~A}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mtext> </mtext> <mi>A</mi> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle ~A}</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/17327d088840ce291c8db59b592489ef8e6e94bd" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:2.324ex; height:2.176ex;" alt="{\displaystyle ~A}"></span> e <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle ~B}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mtext> </mtext> <mi>B</mi> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle ~B}</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/9b0f733e87842725692fbe008e10b1182254de73" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:2.345ex; height:2.176ex;" alt="{\displaystyle ~B}"></span>, representado por <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle A\cap B}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mi>A</mi> <mo>∩</mo> <mi>B</mi> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle A\cap B}</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/bb27b38cf9eac6060e67b61f66cd9beec5067f81" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:6.09ex; height:2.176ex;" alt="{\displaystyle A\cap B}"></span>: </p> <dl><dd><span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle A\cap B=\{x:x\in A\quad \wedge \quad x\in B\}}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mi>A</mi> <mo>∩</mo> <mi>B</mi> <mo>=</mo> <mo fence="false" stretchy="false">{</mo> <mi>x</mi> <mo>:</mo> <mi>x</mi> <mo>∈</mo> <mi>A</mi> <mspace width="1em" /> <mo>∧</mo> <mspace width="1em" /> <mi>x</mi> <mo>∈</mo> <mi>B</mi> <mo fence="false" stretchy="false">}</mo> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle A\cap B=\{x:x\in A\quad \wedge \quad x\in B\}}</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/2ea611875ef46e2ebb5d017436bf48df55e321c1" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:33.855ex; height:2.843ex;" alt="{\displaystyle A\cap B=\{x:x\in A\quad \wedge \quad x\in B\}}"></span>.</dd></dl> <p>Se dous conxuntos <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle ~A}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mtext> </mtext> <mi>A</mi> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle ~A}</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/17327d088840ce291c8db59b592489ef8e6e94bd" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:2.324ex; height:2.176ex;" alt="{\displaystyle ~A}"></span> e <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle ~B}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mtext> </mtext> <mi>B</mi> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle ~B}</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/9b0f733e87842725692fbe008e10b1182254de73" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:2.345ex; height:2.176ex;" alt="{\displaystyle ~B}"></span> son tales que <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle A\cap B=\emptyset }"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mi>A</mi> <mo>∩</mo> <mi>B</mi> <mo>=</mo> <mi mathvariant="normal">∅</mi> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle A\cap B=\emptyset }</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/b0814f1814eb415cc84354bf261d7f9ed62367d1" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.505ex; width:10.351ex; height:2.509ex;" alt="{\displaystyle A\cap B=\emptyset }"></span>, entón <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle ~A}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mtext> </mtext> <mi>A</mi> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle ~A}</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/17327d088840ce291c8db59b592489ef8e6e94bd" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:2.324ex; height:2.176ex;" alt="{\displaystyle ~A}"></span> e <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle ~B}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mtext> </mtext> <mi>B</mi> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle ~B}</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/9b0f733e87842725692fbe008e10b1182254de73" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:2.345ex; height:2.176ex;" alt="{\displaystyle ~B}"></span> dinse conxuntos <i>disxuntos</i>. </p> <div class="mw-heading mw-heading3"><h3 id="Diferenza">Diferenza</h3><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Conxunto&veaction=edit&section=7" title="Editar a sección: «Diferenza»" class="mw-editsection-visualeditor"><span>editar</span></a><span class="mw-editsection-divider"> | </span><a href="/w/index.php?title=Conxunto&action=edit&section=7" title="Editar o código fonte da sección: Diferenza"><span>editar a fonte</span></a><span class="mw-editsection-bracket">]</span></span></div> <figure class="mw-default-size" typeof="mw:File/Thumb"><a href="/wiki/Ficheiro:Venn0100.svg" class="mw-file-description"><img src="//upload.wikimedia.org/wikipedia/commons/thumb/e/e6/Venn0100.svg/220px-Venn0100.svg.png" decoding="async" width="220" height="162" class="mw-file-element" srcset="//upload.wikimedia.org/wikipedia/commons/thumb/e/e6/Venn0100.svg/330px-Venn0100.svg.png 1.5x, //upload.wikimedia.org/wikipedia/commons/thumb/e/e6/Venn0100.svg/440px-Venn0100.svg.png 2x" data-file-width="380" data-file-height="280" /></a><figcaption><span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle A\setminus B}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mi>A</mi> <mo class="MJX-variant">∖</mo> <mi>B</mi> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle A\setminus B}</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/aef797ed5deb971321592e34281d9fac27c3249d" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:5.702ex; height:2.843ex;" alt="{\displaystyle A\setminus B}"></span></figcaption></figure> <p>Os elementos dun conxunto <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle ~A}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mtext> </mtext> <mi>A</mi> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle ~A}</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/17327d088840ce291c8db59b592489ef8e6e94bd" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:2.324ex; height:2.176ex;" alt="{\displaystyle ~A}"></span> que non se atopan noutro conxunto <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle ~B}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mtext> </mtext> <mi>B</mi> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle ~B}</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/9b0f733e87842725692fbe008e10b1182254de73" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:2.345ex; height:2.176ex;" alt="{\displaystyle ~B}"></span>, forman outro conxunto chamado <i>diferenza de</i> <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle ~A}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mtext> </mtext> <mi>A</mi> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle ~A}</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/17327d088840ce291c8db59b592489ef8e6e94bd" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:2.324ex; height:2.176ex;" alt="{\displaystyle ~A}"></span> e <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle ~B}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mtext> </mtext> <mi>B</mi> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle ~B}</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/9b0f733e87842725692fbe008e10b1182254de73" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:2.345ex; height:2.176ex;" alt="{\displaystyle ~B}"></span>, representado por, <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle A\setminus B}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mi>A</mi> <mo class="MJX-variant">∖</mo> <mi>B</mi> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle A\setminus B}</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/aef797ed5deb971321592e34281d9fac27c3249d" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:5.702ex; height:2.843ex;" alt="{\displaystyle A\setminus B}"></span>: </p> <dl><dd><span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle A\setminus B=\{x:x\in A\quad \wedge \quad x\notin B\}}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mi>A</mi> <mo class="MJX-variant">∖</mo> <mi>B</mi> <mo>=</mo> <mo fence="false" stretchy="false">{</mo> <mi>x</mi> <mo>:</mo> <mi>x</mi> <mo>∈</mo> <mi>A</mi> <mspace width="1em" /> <mo>∧</mo> <mspace width="1em" /> <mi>x</mi> <mo>∉</mo> <mi>B</mi> <mo fence="false" stretchy="false">}</mo> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle A\setminus B=\{x:x\in A\quad \wedge \quad x\notin B\}}</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/dffa2591745b8031ab60a03065d3cf7d2da0feee" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:33.468ex; height:2.843ex;" alt="{\displaystyle A\setminus B=\{x:x\in A\quad \wedge \quad x\notin B\}}"></span>.</dd></dl> <div class="mw-heading mw-heading2"><h2 id="Álxebra_de_conxuntos"><span id=".C3.81lxebra_de_conxuntos"></span>Álxebra de conxuntos</h2><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Conxunto&veaction=edit&section=8" title="Editar a sección: «Álxebra de conxuntos»" class="mw-editsection-visualeditor"><span>editar</span></a><span class="mw-editsection-divider"> | </span><a href="/w/index.php?title=Conxunto&action=edit&section=8" title="Editar o código fonte da sección: Álxebra de conxuntos"><span>editar a fonte</span></a><span class="mw-editsection-bracket">]</span></span></div> <p>Sexan <i>A</i>, <i>B</i>, e <i>C</i> conxuntos calquera, logo: </p> <dl><dd><ul><li>A ∩ A = A</li> <li>A ∪ A = A</li> <li>A - A = Ø</li> <li>A ∩ B = B ∩ A</li> <li>A ∪ B = B ∪ A</li> <li>(A ∩ B) ∩ C = A ∩ (B ∩ C)</li> <li>(A ∪ B) ∪ C = A ∪ (B ∪ C)</li> <li>C - (A ∩ B) = (C - A) ∪ (C - B)</li> <li>C - (A ∪ B) = (C - A) ∩ (C - B)</li> <li>C - (B - A) = (A ∩ C) ∪ (C - B)</li> <li>(B - A) ∩ C = (B ∩ C) - A = B ∩ (C - A)</li> <li>(B - A) ∪ C = (B ∪ C) - (A - C)</li> <li>A ⊆ B <a href="/w/index.php?title=Si_y_s%C3%B3lo_si&action=edit&redlink=1" class="new" title="Si y sólo si (a páxina aínda non existe)">↔</a> A ∩ B = A</li> <li>A ⊆ B ↔ A ∪ B = B</li> <li>A ⊆ B ↔ A - B = Ø</li> <li>A ∩ B = Ø ↔ B - A = B</li> <li>A ∩ B ⊆ A ⊆ A ∪ B</li> <li>A ∩ Ø = Ø</li> <li>A ∪ Ø = A</li> <li>Ø - A = Ø</li> <li>A - Ø = A</li></ul></dd></dl> <p>Sexa <b>U</b> un conxunto tal que <i>A</i>, <i>B</i>, e <i>C</i> son subconxuntos do <b>U</b> (utilízase a notación A' := U - A). Entón: </p> <dl><dd><ul><li>A'' = A</li> <li>B - A = A' ∩ B</li> <li>(B - A)' = A ∪ B'</li> <li>A ⊆ B ↔ B' ⊆ A'</li> <li>A ∩ <b>U</b> = A</li> <li>A ∪ <b>U</b> = <b>U</b></li> <li><b>U</b> - A = A'</li> <li>A - <b>U</b> = Ø</li></ul></dd></dl> <div role="navigation" class="navbox" aria-labelledby="Control_de_autoridades" style="padding:3px"><table class="nowraplinks hlist navbox-inner" style="border-spacing:0;background:transparent;color:inherit"><tbody><tr><th id="Control_de_autoridades" scope="row" class="navbox-group" style="width:1%;width: 12%; text-align:center;"><a href="/wiki/Axuda:Control_de_autoridades" title="Axuda:Control de autoridades">Control de autoridades</a></th><td class="navbox-list navbox-odd plainlinks" style="text-align:left;border-left-width:2px;border-left-style:solid;width:100%;padding:0px"><div style="padding:0em 0.25em"> <ul><li><span style="white-space:nowrap;"><span typeof="mw:File"><a href="https://www.wikidata.org/wiki/Wikidata:Main_Page" title="Wikidata"><img alt="Wd" src="//upload.wikimedia.org/wikipedia/commons/thumb/f/ff/Wikidata-logo.svg/20px-Wikidata-logo.svg.png" decoding="async" width="20" height="11" class="mw-file-element" srcset="//upload.wikimedia.org/wikipedia/commons/thumb/f/ff/Wikidata-logo.svg/30px-Wikidata-logo.svg.png 1.5x, //upload.wikimedia.org/wikipedia/commons/thumb/f/ff/Wikidata-logo.svg/40px-Wikidata-logo.svg.png 2x" data-file-width="1050" data-file-height="590" /></a></span>: <span class="uid"><a href="https://www.wikidata.org/wiki/Q36161" class="extiw" title="wikidata:Q36161">Q36161</a></span></span></li> <li><span style="white-space:nowrap;"><a href="/wiki/Biblioteca_Nacional_Central_de_Florencia" title="Biblioteca Nacional Central de Florencia">BNCF</a>: <span class="uid"><span class="plainlinks"><a rel="nofollow" class="external text" href="https://thes.bncf.firenze.sbn.it/termine.php?id=5501">5501</a></span></span></span></li> <li><span style="white-space:nowrap;"><a href="/wiki/Encyclop%C3%A6dia_Britannica" title="Encyclopædia Britannica">EBID</a>: <span class="uid"><span class="plainlinks"><a rel="nofollow" class="external text" href="https://www.britannica.com/topic/set-mathematics-and-logic">ID</a></span></span></span></li> <li><span style="white-space:nowrap;"><a href="/wiki/Gemeinsame_Normdatei" title="Gemeinsame Normdatei">GND</a>: <span class="uid"><span class="plainlinks"><a rel="nofollow" class="external text" href="https://d-nb.info/gnd/4038613-2">4038613-2</a></span></span></span></li> <li><span style="white-space:nowrap;"><a href="/wiki/Biblioteca_Nacional_da_Rep%C3%BAblica_Checa" title="Biblioteca Nacional da República Checa">NKC</a>: <span class="uid"><span class="plainlinks"><a rel="nofollow" class="external text" href="https://aleph.nkp.cz/F/?func=find-c&local_base=aut&ccl_term=ica=ph122926">ph122926</a></span></span></span></li> <li><span style="white-space:nowrap;"><a href="/wiki/Biblioteca_t%C3%A9cnica_nacional_de_Praga" title="Biblioteca técnica nacional de Praga">PSH</a>: <span class="uid"><span class="plainlinks"><a rel="nofollow" class="external text" href="https://psh.techlib.cz/skos/PSH7132">7132</a></span></span></span></li> <li><span style="white-space:nowrap;"><a href="/wiki/Enciclopedia_Treccani" title="Enciclopedia Treccani">Treccani</a>: <span class="uid"><span class="plainlinks"><a rel="nofollow" class="external text" href="https://www.treccani.it/enciclopedia/insieme">insieme</a></span></span></span></li></ul> </div></td></tr></tbody></table></div>    </div><noscript><img src="https://login.wikimedia.org/wiki/Special:CentralAutoLogin/start?type=1x1&useformat=desktop" alt="" width="1" height="1" style="border: none; position: absolute;"></noscript> <div class="printfooter" data-nosnippet="">Traído desde «<a dir="ltr" href="https://gl.wikipedia.org/w/index.php?title=Conxunto&oldid=4472402">https://gl.wikipedia.org/w/index.php?title=Conxunto&oldid=4472402</a>»</div></div> <div id="catlinks" class="catlinks" data-mw="interface"><div id="mw-normal-catlinks" class="mw-normal-catlinks"><a href="/wiki/Especial:Categor%C3%ADas" title="Especial:Categorías">Categoría</a>: <ul><li><a href="/wiki/Categor%C3%ADa:Teor%C3%ADa_de_conxuntos" title="Categoría:Teoría de conxuntos">Teoría de conxuntos</a></li></ul></div></div> </div> </main> </div> <div class="mw-footer-container"> <footer id="footer" class="mw-footer" > <ul id="footer-info"> <li id="footer-info-lastmod"> A última edición desta páxina foi o 16 de setembro de 2017 ás 11:22.</li> <li id="footer-info-copyright">Todo o texto está dispoñible baixo a <a rel="nofollow" class="external text" href="https://creativecommons.org/licenses/by-sa/4.0/">licenza Creative Commons recoñecemento compartir igual 4.0</a>; pódense aplicar termos adicionais. Consulte os <a class="external text" href="https://foundation.wikimedia.org/wiki/Special:MyLanguage/Policy:Terms_of_Use/gl">termos de uso</a> para obter máis información.<br />Wikipedia® é unha marca rexistrada da <a rel="nofollow" class="external text" href="https://www.wikimediafoundation.org/">Wikimedia Foundation, Inc.</a>, unha organización sen fins lucrativos.<br /></li> </ul> <ul id="footer-places"> <li id="footer-places-privacy"><a href="https://foundation.wikimedia.org/wiki/Special:MyLanguage/Policy:Privacy_policy">Normas de protección de datos</a></li> <li id="footer-places-about"><a href="/wiki/Wikipedia:Acerca_de">Acerca de Wikipedia</a></li> <li id="footer-places-disclaimers"><a href="/wiki/Wikipedia:Advertencia_xeral">Advertencias</a></li> <li id="footer-places-wm-codeofconduct"><a href="https://foundation.wikimedia.org/wiki/Special:MyLanguage/Policy:Universal_Code_of_Conduct">Código de conduta</a></li> <li id="footer-places-developers"><a href="https://developer.wikimedia.org">Desenvolvedores</a></li> <li id="footer-places-statslink"><a href="https://stats.wikimedia.org/#/gl.wikipedia.org">Estatísticas</a></li> <li id="footer-places-cookiestatement"><a href="https://foundation.wikimedia.org/wiki/Special:MyLanguage/Policy:Cookie_statement">Declaración de cookies</a></li> <li id="footer-places-mobileview"><a href="//gl.m.wikipedia.org/w/index.php?title=Conxunto&mobileaction=toggle_view_mobile" class="noprint stopMobileRedirectToggle">Vista móbil</a></li> </ul> <ul id="footer-icons" class="noprint"> <li id="footer-copyrightico"><a href="https://wikimediafoundation.org/" class="cdx-button cdx-button--fake-button cdx-button--size-large cdx-button--fake-button--enabled"><img src="/static/images/footer/wikimedia-button.svg" width="84" height="29" alt="Wikimedia Foundation" loading="lazy"></a></li> <li id="footer-poweredbyico"><a href="https://www.mediawiki.org/" class="cdx-button cdx-button--fake-button cdx-button--size-large cdx-button--fake-button--enabled"><img src="/w/resources/assets/poweredby_mediawiki.svg" alt="Powered by MediaWiki" width="88" height="31" loading="lazy"></a></li> </ul> </footer> </div> </div> </div> <div class="vector-settings" id="p-dock-bottom"> <ul></ul> </div><script>(RLQ=window.RLQ||[]).push(function(){mw.config.set({"wgHostname":"mw-web.codfw.main-79d9bc49cc-cm6sm","wgBackendResponseTime":604,"wgPageParseReport":{"limitreport":{"cputime":"0.222","walltime":"0.426","ppvisitednodes":{"value":552,"limit":1000000},"postexpandincludesize":{"value":3960,"limit":2097152},"templateargumentsize":{"value":0,"limit":2097152},"expansiondepth":{"value":3,"limit":100},"expensivefunctioncount":{"value":6,"limit":500},"unstrip-depth":{"value":0,"limit":20},"unstrip-size":{"value":3494,"limit":5000000},"entityaccesscount":{"value":7,"limit":400},"timingprofile":["100.00% 177.482 1 Modelo:Control_de_autoridades","100.00% 177.482 1 -total"]},"scribunto":{"limitreport-timeusage":{"value":"0.107","limit":"10.000"},"limitreport-memusage":{"value":3160579,"limit":52428800}},"cachereport":{"origin":"mw-web.codfw.main-79d9bc49cc-cm6sm","timestamp":"20241203032248","ttl":2592000,"transientcontent":false}}});});</script> <script type="application/ld+json">{"@context":"https:\/\/schema.org","@type":"Article","name":"Conxunto","url":"https:\/\/gl.wikipedia.org\/wiki\/Conxunto","sameAs":"http:\/\/www.wikidata.org\/entity\/Q36161","mainEntity":"http:\/\/www.wikidata.org\/entity\/Q36161","author":{"@type":"Organization","name":"Colaboradores dos proxectos da Wikimedia"},"publisher":{"@type":"Organization","name":"Wikimedia Foundation, Inc.","logo":{"@type":"ImageObject","url":"https:\/\/www.wikimedia.org\/static\/images\/wmf-hor-googpub.png"}},"datePublished":"2007-04-13T22:24:04Z","dateModified":"2017-09-16T11:22:33Z","headline":"agrupaci\u00f3n de obxectos considerada como un obxecto en s\u00ed"}</script> </body> </html>