trieda doplnková
- trieda, ktorá obsahuje všetky prvky, ktoré nie sú prvkami triedy K; označujeme ju K'.