Pairs of mutually-exclusive signifiers in a paradigm set representing categories which are logically opposed and which together define a complete universe of discourse (relevant ontological domain), e.g. alive/not-alive. In such oppositions each term necessarily implies its opposite and there is no middle term.