antidomain

From Wiktionary, the free dictionary
Jump to navigation Jump to search

English[edit]

Etymology[edit]

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=54396363"