Jump to content

antidomain

From Wiktionary, the free dictionary

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"