MyWikiBiz, Author Your Legacy — Saturday January 04, 2025
Jump to navigationJump to search
41 bytes added
, 16:40, 7 February 2009
Line 2,001: |
Line 2,001: |
| | | |
| ===Digression on Derived Relations=== | | ===Digression on Derived Relations=== |
| + | |
| + | A better understanding of derived equivalence relations (DERs) can be achieved by placing their constructions within a more general context and thus comparing the associated type of derivation operation, namely, the one that takes a triadic relation <math>L\!</math> into a dyadic relation <math>\operatorname{Der}(L),</math> with other types of operations on triadic relations. The proper setting would permit a comparative study of all their constructions from a basic set of projections and a full array of compositions on dyadic relations. |
| | | |
| <pre> | | <pre> |
− | A better understanding of derived equivalence relations (DER's) can be achieved by placing their constructions within a more general context, and thus comparing the associated type of derivation operation, namely, the one that takes a triadic relation R into a dyadic relation Der(R), with other types of operations on triadic relations. The proper setting would permit a comparative study of all their constructions from a basic set of projections and a full array of compositions on dyadic relations.
| |
− |
| |
| To that end, let the derivation Der(R) be expressed in the following way: | | To that end, let the derivation Der(R) be expressed in the following way: |
| | | |