Hvis også er en delmengde av , må begge mengdene inneholde nøyaktig de samme elementene. Per definisjon er da lik , og man skriver = .