Prefer the term "set-theorectic lci".

Resolves #8.