Please enable JavaScript.
Coggle requires JavaScript to display documents.
Sets, constants and relations - Coggle Diagram
Sets, constants and relations
Sets
-
Deferred - finite, not empty
Constants
-
Concrete - Directly implemented, do not need refinement
-
-
Relations
-
-
-
-
-
-
-
Relational inverse
Set containing all x,y such that y,x belong to R
Relational Overriding
Having relations R1 and R2 - all x,z such that x does not belong to r2 all x,y such that x belong to r2
Relational Composition
Having relations R1 and R2 - all x,z such that there is a x,y on R1 and y,z on R2