(matematika) Anaiv halmazelméletben egyhalmaz meghatározott, egymástól különböző objektumok gyűjteménye, összessége. Ezeket az objektumokat ahalmaz elemeinek nevezzük. Azt, hogy eleme az halmaznak, így jelöljük:.
Azaxiomatikus halmazelméletben a halmaz és az eleme reláció alapfogalom, melyekre a halmazelmélet axiómái vonatkoznak.