Množica združuje reči, elemente. Določena je takrat, ko lahko za vsak element povemo, ali sodi v množico ali ne. Elemente označujemo z malimi črkami a, b, c ..., množice pa z velikimi črkami , , ... Znak je znak pripadnosti elementa množici.