A halmazelmélet a matematika egyik alapvető ága, amely a halmazokkal és azok tulajdonságaival foglalkozik. A halmazok olyan gyűjtemények, amelyek elemekből állnak, és különböző műveletek végezhetők rajtuk, mint például az unió, a metszet, a különbség és a komplementer halmaz meghatározása.