MyWikiBiz, Author Your Legacy — Friday October 31, 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: | 
|  |  |  |  |