Symmetric quotients and domain constructions (Q582127)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Symmetric quotients and domain constructions |
scientific article; zbMATH DE number 4130047
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Symmetric quotients and domain constructions |
scientific article; zbMATH DE number 4130047 |
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
0.90670836
0 references
0.8991727
0 references
0.89342505
0 references
0.8919468
0 references
0.8822644
0 references
0.87747145
0 references
0.8717604
0 references
