A necessary and sufficient condition for a product relation to be total (Q1057295)
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: A necessary and sufficient condition for a product relation to be total |
scientific article; zbMATH DE number 3896995
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A necessary and sufficient condition for a product relation to be total |
scientific article; zbMATH DE number 3896995 |
Statements
A necessary and sufficient condition for a product relation to be total (English)
0 references
1984
0 references
Let A, B and C be sets, let \(\rho\) be a relation from A to B (\(\rho\) \(\subset A\times B)\) and let \(\sigma\) be a relation from B to C (\(\sigma\) \(\subset B\times C)\). The paper gives a necessary and sufficient condition for \(\sigma\) \(\cdot \rho\) to be total \((\sigma \cdot \rho =A\times C)\) in terms of a De Morgan algebra defined on B.
0 references
total relation
0 references
product of relations
0 references
De Morgan algebra
0 references
