Symmetric quotients and domain constructions (Q582127)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Symmetric quotients and domain constructions |
scientific article |
Statements
Symmetric quotients and domain constructions (English)
0 references
1989
0 references
We introduce the symmetric quotient of two relations as a new construct in abstract relational algebra generalizing the notion of a ``noyau'' of Riguet. After exhibiting the main properties of symmetric quotients we study applications in domain theory. In particular, we give a monomorphic characterization of powersets and function domains.
0 references
discrete mathematics
0 references
semantics
0 references
domain construction
0 references
relational algebra
0 references
