Antidomain

noun

noun ·Rare ·Advanced level

Definitions

Noun
  1. 1
    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."

Example

More examples

"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."

Etymology

From anti- + domain.

Data sourced from Wiktionary, WordNet, CMU, and other open linguistic databases. Updated March 2026.