`complement`? or do we want to not use set-theoretic terms?