antidomain noun1 •The boolean complement of the domain.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. — 2015 formsantidomains
