Galois extensie toegepast op recht.
Constructie van Ra(spec)
Toevoeging van Vonnissen en Arresten aan de base field Q(spec)
{A,B,C,D...........} = set Vonnissen of Arresten toegevoegd aan Q(spec) - het base field
A = Vonnis of arrest bestaande uit set {implementaties, inverses ,converses, contrapossitives, conjuncties, disjuncties,negaties}
B= Vonnis of arrest bestaande uit set {implementaties, inverses ,converses, contrapossitives, conjuncties, disjuncties,negaties}
Definitie : Een binaire operatie is een product(x)en of som(+) operatie tussen 2 Vonnissen of arresten en wordt abstract voorgesteld door *
A*B ,A*C ,A*D,B*C,B*D,C*D ingeval er 4 arresten worden toegevoegd
A*B,A*C,B*C ingeval er 3 arresten worden toegevoegd
A*B ingeval er 2 arresten worden toegevoegd.
A*A ingeval er 1 arrest word toegevoegd (idempotent,reflexief)is geen binaire operatie maar atoom.
* is de binaire operatie tussen de elementen(sub sets) van de 2 Vonnissen-arresten , dus tussen de {implementaties, inverses ,converses, contrapossitives, conjuncties, disjuncties,negaties}
Ingeval van de constructie van Ra(spec) is * de set theoretical intersectie en unie
X = intersectie (meet ) gemeenschappelijk element (sub set ) van 2 Vonnissen en Arresten
+= unie (join) toevoegen van een element uit A aan een element uit B
Deze binaire operaties * vormen Posets en worden voorgesteld in een Hasse diagram.
__________________
Ik werd nooit betaald om de dingen juist te schrijven, maar wel om de juiste dingen te schrijven
|