Doplnková trieda k triede K je trieda, ktorá obsahuje všetky prvky, ktoré nie sú prvkami triedy K. Označujeme ju K'.