estem dient que <math> x </math> és un element de <math> A </math>. Equivalentment, podem dir o escriure "<math> x </math> és un membre de <math> A </math>", "<math> x </math> pertany a <math> A </math>", "<math> x </math> és a <math> A </math>", "<math> x </math> resideix en <math> A </math>", "<math> A </math> inclou <math> x </math> ", o" <math> A </math> conté <math> x </math> ". La [[Conectiva lògica | negació]] d'aquest símbol es denota <math>\notin </math>.
Desafortunadament, els termes "<math> A </math> inclou <math> x </math>" i "<math> A </math> conté <math> x </math>" són ambigus, perquè alguns autors també els fan servir per referir-se a que "<math> x </math> és un [[subconjunt]] de <math> A </math>". <ref name="schech"> {{cita llibre | autor = [[ Eric Schechter]] | títol = Handbook of Analysis and Its Foundations | editorial = [[Academic Press]] | any = 1997 | | isbn = 0-12-622760-8}} p. 12 </ref> El lògic [[George Boolos]] és emfàtic en aclarir que la paraula "conté" s'ha d'usar només per pertinença d'elements, i "inclou" només per relacions de subconjunts <ref name=boolos"> {{cita llibre | títol = 24.243 Classical setembre Theory (lecture). | nom = [[George Boolos]] | Enlaceautor = | Data = 4 febrer 1992 | Ubicació = [[Institut Tecnològic de Massachusetts]], Cambridge, MA}}. </ref>
