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.