antidomain
English
Etymology
anti- + domain
Noun
antidomain (plural antidomains)
- (mathematics) The boolean complement of the domain.
- 2015, Georg Struth, “On the Expressive Power of Kleene Algebra with Domain”, in arXiv:
- 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.
-