antidomain

noun

antidomain

noun

Etymology From anti- + domain.

1

Mathematics, Sciences The boolean complement of the domain.

It is shown that antidomain semirings are more expressive than test semirings and that Kleene algebras with domain are more expressive than Kleene algebras with tests.2015, Georg Struth, “On the Expressive Power of Kleene Algebra with Domain”, in arXiv:

Entry derived from the Wiktionary, under licence CC BY-SA 4.0 — list of authors.