Wiktionary

antidomain

English

edit

Etymology

edit

From anti- +‎ domain.

Noun

edit

antidomain (plural antidomains)

  1. (mathematics) The boolean complement of the domain.
    • 2015, Georg Struth, “On the Expressive Power of Kleene Algebra with Domain”, in arXiv‎[1]:
      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.
Retrieved from "https://en.wiktionary.org/w/index.php?title=antidomain&oldid=81176011"