Containment for \(c, s, t\) operators on a binary relation (Q2583593)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Containment for \(c, s, t\) operators on a binary relation |
scientific article |
Statements
Containment for \(c, s, t\) operators on a binary relation (English)
0 references
17 January 2006
0 references
symmetric closure
0 references
complement
0 references
transitive closure
0 references
binary relation
0 references
well-founded relations
0 references
Hasse diagram
0 references
partial order
0 references
homotopy type
0 references
