Synonyms
Antonyms
Related Words
Use the Word in Context
Related-word data is supplemented by the Datamuse API. Datamuse results are suggestions, not automatic replacements.
(mathematics) A family of behavioural equivalences which factors through all elements of a second specified family of behavioural equivalences and for which any morphism that factors through the second family of behavioural equivalences also factors through its elements.
Related-word data is supplemented by the Datamuse API. Datamuse results are suggestions, not automatic replacements.