:: TDGROUP semantic presentation

REAL is V125() V126() V127() V131() set

NAT is V125() V126() V127() V128() V129() V130() V131() Element of bool REAL

bool REAL is set

COMPLEX is V125() V131() set

RAT is V125() V126() V127() V128() V131() set

INT is V125() V126() V127() V128() V129() V131() set

[:COMPLEX,COMPLEX:] is set

bool [:COMPLEX,COMPLEX:] is set

[:[:COMPLEX,COMPLEX:],COMPLEX:] is set

bool [:[:COMPLEX,COMPLEX:],COMPLEX:] is set

[:REAL,REAL:] is set

bool [:REAL,REAL:] is set

[:[:REAL,REAL:],REAL:] is set

bool [:[:REAL,REAL:],REAL:] is set

[:RAT,RAT:] is set

bool [:RAT,RAT:] is set

[:[:RAT,RAT:],RAT:] is set

bool [:[:RAT,RAT:],RAT:] is set

[:INT,INT:] is set

bool [:INT,INT:] is set

[:[:INT,INT:],INT:] is set

bool [:[:INT,INT:],INT:] is set

[:NAT,NAT:] is set

[:[:NAT,NAT:],NAT:] is set

bool [:[:NAT,NAT:],NAT:] is set

NAT is V125() V126() V127() V128() V129() V130() V131() set

bool NAT is set

bool NAT is set

0 is set

1 is V11() V21() V28() V29() V30() V31() V125() V126() V127() V128() V129() V130() Element of NAT

G_Real is non empty strict right_complementable Abelian add-associative right_zeroed addLoopStr

K143() is V1() V4([:REAL,REAL:]) V5( REAL ) V6() V18([:REAL,REAL:], REAL ) Element of bool [:[:REAL,REAL:],REAL:]

0 is V21() V28() V29() V30() V31() V125() V126() V127() V128() V129() V130() Element of NAT

addLoopStr(# REAL,K143(),0 #) is strict addLoopStr

the carrier of G_Real is V11() V125() V126() V127() set

A is V21() V29() Element of the carrier of G_Real

a is V21() V29() Element of REAL

2 is V11() V21() V28() V29() V30() V31() V125() V126() V127() V128() V129() V130() Element of NAT

a / 2 is V21() V29() Element of REAL

b is V21() V29() Element of REAL

c is V21() V29() Element of the carrier of G_Real

c + c is V21() V29() Element of the carrier of G_Real

c + c is V21() V29() Element of REAL

0. G_Real is V21() V29() V51( G_Real ) Element of the carrier of G_Real

the ZeroF of G_Real is V21() V29() Element of the carrier of G_Real

ADG is V21() V29() Element of the carrier of G_Real

ADG + ADG is V21() V29() Element of the carrier of G_Real

ADG + ADG is V21() V29() Element of REAL

ADG is V21() V29() Element of the carrier of G_Real

ADG + ADG is V21() V29() Element of the carrier of G_Real

ADG + ADG is V21() V29() Element of REAL

ADG + ADG is V21() V29() Element of the carrier of G_Real

ADG is non empty right_complementable Abelian add-associative right_zeroed addLoopStr

the carrier of ADG is V11() set

A is Element of the carrier of ADG

a is Element of the carrier of ADG

a + a is Element of the carrier of ADG

0. ADG is V51(ADG) Element of the carrier of ADG

the ZeroF of ADG is Element of the carrier of ADG

b is non empty right_complementable Abelian add-associative right_zeroed addLoopStr

the carrier of b is V11() set

0. b is V51(b) Element of the carrier of b

the ZeroF of b is Element of the carrier of b

ADG is non empty addLoopStr

the carrier of ADG is V11() set

ADG is non empty addLoopStr

the carrier of ADG is V11() set

[: the carrier of ADG, the carrier of ADG:] is set

[:[: the carrier of ADG, the carrier of ADG:],[: the carrier of ADG, the carrier of ADG:]:] is set

bool [:[: the carrier of ADG, the carrier of ADG:],[: the carrier of ADG, the carrier of ADG:]:] is set

b is V1() V4([: the carrier of ADG, the carrier of ADG:]) V5([: the carrier of ADG, the carrier of ADG:]) Element of bool [:[: the carrier of ADG, the carrier of ADG:],[: the carrier of ADG, the carrier of ADG:]:]

c is Element of the carrier of ADG

d is Element of the carrier of ADG

[c,d] is set

a9 is Element of the carrier of ADG

b9 is Element of the carrier of ADG

[a9,b9] is set

[[c,d],[a9,b9]] is set

c + b9 is Element of the carrier of ADG

d + a9 is Element of the carrier of ADG

c9 is Element of the carrier of ADG

d9 is Element of the carrier of ADG

[c9,d9] is set

r is Element of the carrier of ADG

p9 is Element of the carrier of ADG

[r,p9] is set

c9 + p9 is Element of the carrier of ADG

d9 + r is Element of the carrier of ADG

b is V1() V4([: the carrier of ADG, the carrier of ADG:]) V5([: the carrier of ADG, the carrier of ADG:]) Element of bool [:[: the carrier of ADG, the carrier of ADG:],[: the carrier of ADG, the carrier of ADG:]:]

c is V1() V4([: the carrier of ADG, the carrier of ADG:]) V5([: the carrier of ADG, the carrier of ADG:]) Element of bool [:[: the carrier of ADG, the carrier of ADG:],[: the carrier of ADG, the carrier of ADG:]:]

d is set

a9 is set

[d,a9] is set

b9 is Element of the carrier of ADG

c9 is Element of the carrier of ADG

[b9,c9] is set

d9 is Element of the carrier of ADG

r is Element of the carrier of ADG

[d9,r] is set

b9 + r is Element of the carrier of ADG

c9 + d9 is Element of the carrier of ADG

b9 is Element of the carrier of ADG

c9 is Element of the carrier of ADG

[b9,c9] is set

d9 is Element of the carrier of ADG

r is Element of the carrier of ADG

[d9,r] is set

b9 + r is Element of the carrier of ADG

c9 + d9 is Element of the carrier of ADG

ADG is non empty addLoopStr

the carrier of ADG is V11() set

(ADG) is V1() V4([: the carrier of ADG, the carrier of ADG:]) V5([: the carrier of ADG, the carrier of ADG:]) Element of bool [:[: the carrier of ADG, the carrier of ADG:],[: the carrier of ADG, the carrier of ADG:]:]

[: the carrier of ADG, the carrier of ADG:] is set

[:[: the carrier of ADG, the carrier of ADG:],[: the carrier of ADG, the carrier of ADG:]:] is set

bool [:[: the carrier of ADG, the carrier of ADG:],[: the carrier of ADG, the carrier of ADG:]:] is set

AffinStruct(# the carrier of ADG,(ADG) #) is strict AffinStruct

ADG is non empty addLoopStr

(ADG) is strict AffinStruct

the carrier of ADG is V11() set

(ADG) is V1() V4([: the carrier of ADG, the carrier of ADG:]) V5([: the carrier of ADG, the carrier of ADG:]) Element of bool [:[: the carrier of ADG, the carrier of ADG:],[: the carrier of ADG, the carrier of ADG:]:]

[: the carrier of ADG, the carrier of ADG:] is set

[:[: the carrier of ADG, the carrier of ADG:],[: the carrier of ADG, the carrier of ADG:]:] is set

bool [:[: the carrier of ADG, the carrier of ADG:],[: the carrier of ADG, the carrier of ADG:]:] is set

AffinStruct(# the carrier of ADG,(ADG) #) is strict AffinStruct

ADG is non empty right_complementable Abelian add-associative right_zeroed Fanoian () addLoopStr

(ADG) is non empty strict AffinStruct

the carrier of ADG is V11() set

(ADG) is V1() V4([: the carrier of ADG, the carrier of ADG:]) V5([: the carrier of ADG, the carrier of ADG:]) Element of bool [:[: the carrier of ADG, the carrier of ADG:],[: the carrier of ADG, the carrier of ADG:]:]

[: the carrier of ADG, the carrier of ADG:] is set

[:[: the carrier of ADG, the carrier of ADG:],[: the carrier of ADG, the carrier of ADG:]:] is set

bool [:[: the carrier of ADG, the carrier of ADG:],[: the carrier of ADG, the carrier of ADG:]:] is set

AffinStruct(# the carrier of ADG,(ADG) #) is strict AffinStruct

the carrier of (ADG) is V11() set

A is non empty right_complementable Abelian add-associative right_zeroed Fanoian () addLoopStr

(A) is non empty strict AffinStruct

the carrier of A is V11() set

(A) is V1() V4([: the carrier of A, the carrier of A:]) V5([: the carrier of A, the carrier of A:]) Element of bool [:[: the carrier of A, the carrier of A:],[: the carrier of A, the carrier of A:]:]

[: the carrier of A, the carrier of A:] is set

[:[: the carrier of A, the carrier of A:],[: the carrier of A, the carrier of A:]:] is set

bool [:[: the carrier of A, the carrier of A:],[: the carrier of A, the carrier of A:]:] is set

AffinStruct(# the carrier of A,(A) #) is strict AffinStruct

the CONGR of (A) is V1() V4([: the carrier of (A), the carrier of (A):]) V5([: the carrier of (A), the carrier of (A):]) Element of bool [:[: the carrier of (A), the carrier of (A):],[: the carrier of (A), the carrier of (A):]:]

the carrier of (A) is V11() set

[: the carrier of (A), the carrier of (A):] is set

[:[: the carrier of (A), the carrier of (A):],[: the carrier of (A), the carrier of (A):]:] is set

bool [:[: the carrier of (A), the carrier of (A):],[: the carrier of (A), the carrier of (A):]:] is set

ADG is non empty right_complementable Abelian add-associative right_zeroed Fanoian () addLoopStr

the carrier of ADG is V11() set

ADG is non empty right_complementable Abelian add-associative right_zeroed Fanoian () addLoopStr

the carrier of ADG is V11() set

A is Element of the carrier of ADG

a is Element of the carrier of ADG

b is Element of the carrier of ADG

a + b is Element of the carrier of ADG

c is Element of the carrier of ADG

A + c is Element of the carrier of ADG

(ADG) is non empty strict AffinStruct

(ADG) is V1() V4([: the carrier of ADG, the carrier of ADG:]) V5([: the carrier of ADG, the carrier of ADG:]) Element of bool [:[: the carrier of ADG, the carrier of ADG:],[: the carrier of ADG, the carrier of ADG:]:]

[: the carrier of ADG, the carrier of ADG:] is set

[:[: the carrier of ADG, the carrier of ADG:],[: the carrier of ADG, the carrier of ADG:]:] is set

bool [:[: the carrier of ADG, the carrier of ADG:],[: the carrier of ADG, the carrier of ADG:]:] is set

AffinStruct(# the carrier of ADG,(ADG) #) is strict AffinStruct

the CONGR of (ADG) is V1() V4([: the carrier of (ADG), the carrier of (ADG):]) V5([: the carrier of (ADG), the carrier of (ADG):]) Element of bool [:[: the carrier of (ADG), the carrier of (ADG):],[: the carrier of (ADG), the carrier of (ADG):]:]

the carrier of (ADG) is V11() set

[: the carrier of (ADG), the carrier of (ADG):] is set

[:[: the carrier of (ADG), the carrier of (ADG):],[: the carrier of (ADG), the carrier of (ADG):]:] is set

bool [:[: the carrier of (ADG), the carrier of (ADG):],[: the carrier of (ADG), the carrier of (ADG):]:] is set

[A,a] is set

[b,c] is set

[[A,a],[b,c]] is set

ADG is V21() V29() Element of the carrier of G_Real

A is V21() V29() Element of the carrier of G_Real

ADG is non empty right_complementable Abelian add-associative right_zeroed Fanoian () addLoopStr

the carrier of ADG is V11() set

A is Element of the carrier of ADG

a is Element of the carrier of ADG

b is Element of the carrier of ADG

A + b is Element of the carrier of ADG

a + b is Element of the carrier of ADG

ADG is non empty right_complementable Abelian add-associative right_zeroed Fanoian () addLoopStr

the carrier of ADG is V11() set

A is Element of the carrier of ADG

a is Element of the carrier of ADG

b is Element of the carrier of ADG

c is Element of the carrier of ADG

d is Element of the carrier of ADG

a9 is Element of the carrier of ADG

A + c is Element of the carrier of ADG

a + b is Element of the carrier of ADG

c + a9 is Element of the carrier of ADG

A + (c + a9) is Element of the carrier of ADG

a + b is Element of the carrier of ADG

(a + b) + a9 is Element of the carrier of ADG

b + a9 is Element of the carrier of ADG

a + (b + a9) is Element of the carrier of ADG

d + c is Element of the carrier of ADG

a + (d + c) is Element of the carrier of ADG

A + a9 is Element of the carrier of ADG

(A + a9) + c is Element of the carrier of ADG

a + d is Element of the carrier of ADG

(a + d) + c is Element of the carrier of ADG

ADG is non empty right_complementable Abelian add-associative right_zeroed Fanoian () addLoopStr

the carrier of ADG is V11() set

A is Element of the carrier of ADG

a is Element of the carrier of ADG

b is Element of the carrier of ADG

- A is Element of the carrier of ADG

a + b is Element of the carrier of ADG

(- A) + (a + b) is Element of the carrier of ADG

A + ((- A) + (a + b)) is Element of the carrier of ADG

A + (- A) is Element of the carrier of ADG

(A + (- A)) + (a + b) is Element of the carrier of ADG

0. ADG is V51(ADG) Element of the carrier of ADG

the ZeroF of ADG is Element of the carrier of ADG

(0. ADG) + (a + b) is Element of the carrier of ADG

ADG is non empty right_complementable Abelian add-associative right_zeroed Fanoian () addLoopStr

the carrier of ADG is V11() set

A is Element of the carrier of ADG

a is Element of the carrier of ADG

b is Element of the carrier of ADG

c is Element of the carrier of ADG

d is Element of the carrier of ADG

a9 is Element of the carrier of ADG

A + c is Element of the carrier of ADG

a + b is Element of the carrier of ADG

A + a9 is Element of the carrier of ADG

d + b is Element of the carrier of ADG

b + (A + a9) is Element of the carrier of ADG

a + (b + (A + a9)) is Element of the carrier of ADG

(d + b) + (A + c) is Element of the carrier of ADG

b + (A + c) is Element of the carrier of ADG

d + (b + (A + c)) is Element of the carrier of ADG

b + A is Element of the carrier of ADG

(b + A) + a9 is Element of the carrier of ADG

a + ((b + A) + a9) is Element of the carrier of ADG

(b + A) + c is Element of the carrier of ADG

d + ((b + A) + c) is Element of the carrier of ADG

a + a9 is Element of the carrier of ADG

(a + a9) + (b + A) is Element of the carrier of ADG

c + (b + A) is Element of the carrier of ADG

d + (c + (b + A)) is Element of the carrier of ADG

d + c is Element of the carrier of ADG

(d + c) + (b + A) is Element of the carrier of ADG

ADG is non empty right_complementable Abelian add-associative right_zeroed Fanoian () addLoopStr

the carrier of ADG is V11() set

A is Element of the carrier of ADG

a is Element of the carrier of ADG

A + a is Element of the carrier of ADG

b is Element of the carrier of ADG

b + b is Element of the carrier of ADG

ADG is non empty right_complementable Abelian add-associative right_zeroed Fanoian () addLoopStr

the carrier of ADG is V11() set

A is Element of the carrier of ADG

a is Element of the carrier of ADG

b is Element of the carrier of ADG

c is Element of the carrier of ADG

A + b is Element of the carrier of ADG

a + a is Element of the carrier of ADG

c + c is Element of the carrier of ADG

- c is Element of the carrier of ADG

a + (- c) is Element of the carrier of ADG

(a + (- c)) + a is Element of the carrier of ADG

(c + c) + (- c) is Element of the carrier of ADG

c + (- c) is Element of the carrier of ADG

c + (c + (- c)) is Element of the carrier of ADG

0. ADG is V51(ADG) Element of the carrier of ADG

the ZeroF of ADG is Element of the carrier of ADG

c + (0. ADG) is Element of the carrier of ADG

(a + (- c)) + (a + (- c)) is Element of the carrier of ADG

(0. ADG) + c is Element of the carrier of ADG

(a + (- c)) + c is Element of the carrier of ADG

(- c) + c is Element of the carrier of ADG

a + ((- c) + c) is Element of the carrier of ADG

a + (0. ADG) is Element of the carrier of ADG

ADG is non empty right_complementable Abelian add-associative right_zeroed Fanoian () addLoopStr

the carrier of ADG is V11() set

A is Element of the carrier of ADG

a is Element of the carrier of ADG

b is Element of the carrier of ADG

c is Element of the carrier of ADG

A + c is Element of the carrier of ADG

a + b is Element of the carrier of ADG

ADG is non empty right_complementable Abelian add-associative right_zeroed Fanoian () addLoopStr

the carrier of ADG is V11() set

(ADG) is non empty strict AffinStruct

(ADG) is V1() V4([: the carrier of ADG, the carrier of ADG:]) V5([: the carrier of ADG, the carrier of ADG:]) Element of bool [:[: the carrier of ADG, the carrier of ADG:],[: the carrier of ADG, the carrier of ADG:]:]

[: the carrier of ADG, the carrier of ADG:] is set

[:[: the carrier of ADG, the carrier of ADG:],[: the carrier of ADG, the carrier of ADG:]:] is set

bool [:[: the carrier of ADG, the carrier of ADG:],[: the carrier of ADG, the carrier of ADG:]:] is set

AffinStruct(# the carrier of ADG,(ADG) #) is strict AffinStruct

the carrier of (ADG) is V11() set

a is Element of the carrier of ADG

b is Element of the carrier of ADG

a is Element of the carrier of (ADG)

b is Element of the carrier of (ADG)

c is Element of the carrier of (ADG)

d is Element of the carrier of (ADG)

a9 is Element of the carrier of ADG

b9 is Element of the carrier of ADG

c9 is Element of the carrier of ADG

d9 is Element of the carrier of ADG

[a9,b9] is set

[c9,d9] is set

[[a9,b9],[c9,d9]] is set

a is Element of the carrier of (ADG)

b is Element of the carrier of (ADG)

c is Element of the carrier of (ADG)

d is Element of the carrier of ADG

a9 is Element of the carrier of ADG

b9 is Element of the carrier of ADG

a is Element of the carrier of (ADG)

b is Element of the carrier of (ADG)

a9 is Element of the carrier of (ADG)

b9 is Element of the carrier of (ADG)

c is Element of the carrier of (ADG)

d is Element of the carrier of (ADG)

c9 is Element of the carrier of ADG

d9 is Element of the carrier of ADG

q9 is Element of the carrier of ADG

r9 is Element of the carrier of ADG

r is Element of the carrier of ADG

p9 is Element of the carrier of ADG

a is Element of the carrier of (ADG)

b is Element of the carrier of (ADG)

c is Element of the carrier of (ADG)

d is Element of the carrier of ADG

a9 is Element of the carrier of ADG

b9 is Element of the carrier of ADG

c9 is Element of the carrier of ADG

d9 is Element of the carrier of (ADG)

a is Element of the carrier of (ADG)

b is Element of the carrier of (ADG)

d is Element of the carrier of (ADG)

a9 is Element of the carrier of (ADG)

c is Element of the carrier of (ADG)

b9 is Element of the carrier of (ADG)

c9 is Element of the carrier of ADG

d9 is Element of the carrier of ADG

p9 is Element of the carrier of ADG

q9 is Element of the carrier of ADG

r is Element of the carrier of ADG

r9 is Element of the carrier of ADG

a is Element of the carrier of (ADG)

b is Element of the carrier of (ADG)

c is Element of the carrier of ADG

d is Element of the carrier of ADG

a9 is Element of the carrier of ADG

b9 is Element of the carrier of (ADG)

a is Element of the carrier of (ADG)

b is Element of the carrier of (ADG)

c is Element of the carrier of (ADG)

d is Element of the carrier of (ADG)

a9 is Element of the carrier of ADG

b9 is Element of the carrier of ADG

c9 is Element of the carrier of ADG

d9 is Element of the carrier of ADG

a is Element of the carrier of (ADG)

b is Element of the carrier of (ADG)

c is Element of the carrier of (ADG)

d is Element of the carrier of (ADG)

a9 is Element of the carrier of ADG

b9 is Element of the carrier of ADG

c9 is Element of the carrier of ADG

d9 is Element of the carrier of ADG

ADG is V21() V29() Element of the carrier of G_Real

A is V21() V29() Element of the carrier of G_Real

ADG is non empty right_complementable Abelian add-associative right_zeroed Fanoian () addLoopStr

the carrier of ADG is V11() set

(ADG) is non empty strict AffinStruct

(ADG) is V1() V4([: the carrier of ADG, the carrier of ADG:]) V5([: the carrier of ADG, the carrier of ADG:]) Element of bool [:[: the carrier of ADG, the carrier of ADG:],[: the carrier of ADG, the carrier of ADG:]:]

[: the carrier of ADG, the carrier of ADG:] is set

[:[: the carrier of ADG, the carrier of ADG:],[: the carrier of ADG, the carrier of ADG:]:] is set

bool [:[: the carrier of ADG, the carrier of ADG:],[: the carrier of ADG, the carrier of ADG:]:] is set

AffinStruct(# the carrier of ADG,(ADG) #) is strict AffinStruct

the carrier of (ADG) is V11() set

A is Element of the carrier of (ADG)

a is Element of the carrier of (ADG)

c is Element of the carrier of (ADG)

d is Element of the carrier of (ADG)

b is Element of the carrier of (ADG)

a9 is Element of the carrier of (ADG)

b9 is Element of the carrier of (ADG)

c9 is Element of the carrier of (ADG)

d9 is Element of the carrier of ADG

r is Element of the carrier of ADG

A is Element of the carrier of (ADG)

a is Element of the carrier of (ADG)

b is Element of the carrier of (ADG)

c is Element of the carrier of (ADG)

d is Element of the carrier of (ADG)

a9 is Element of the carrier of (ADG)

b9 is Element of the carrier of (ADG)

A is Element of the carrier of (ADG)

a is Element of the carrier of (ADG)

b is Element of the carrier of (ADG)

c is Element of the carrier of (ADG)

d is Element of the carrier of ADG

a9 is Element of the carrier of ADG

A is Element of the carrier of (ADG)

a is Element of the carrier of (ADG)

d is Element of the carrier of (ADG)

a9 is Element of the carrier of (ADG)

b is Element of the carrier of (ADG)

c is Element of the carrier of (ADG)

b9 is Element of the carrier of (ADG)

c9 is Element of the carrier of (ADG)

d9 is Element of the carrier of (ADG)

r is Element of the carrier of ADG

p9 is Element of the carrier of ADG

A is Element of the carrier of ADG

a is Element of the carrier of ADG

ADG is non empty AffinStruct

the carrier of ADG is V11() set

b is non empty AffinStruct

the carrier of b is V11() set

A is Element of the carrier of ADG

a is Element of the carrier of ADG

c is Element of the carrier of b

d is Element of the carrier of b

a9 is Element of the carrier of b

b9 is Element of the carrier of b

c9 is Element of the carrier of b

p9 is Element of the carrier of b

q9 is Element of the carrier of b

d9 is Element of the carrier of b

r is Element of the carrier of b

r9 is Element of the carrier of b

c

c

c

c

c

c

c

c

c

c

c

c

c

c

c

c

c

c

ADG is non empty right_complementable Abelian add-associative right_zeroed Fanoian () addLoopStr

the carrier of ADG is V11() set

(ADG) is non empty strict AffinStruct

(ADG) is V1() V4([: the carrier of ADG, the carrier of ADG:]) V5([: the carrier of ADG, the carrier of ADG:]) Element of bool [:[: the carrier of ADG, the carrier of ADG:],[: the carrier of ADG, the carrier of ADG:]:]

[: the carrier of ADG, the carrier of ADG:] is set

[:[: the carrier of ADG, the carrier of ADG:],[: the carrier of ADG, the carrier of ADG:]:] is set

bool [:[: the carrier of ADG, the carrier of ADG:],[: the carrier of ADG, the carrier of ADG:]:] is set

AffinStruct(# the carrier of ADG,(ADG) #) is strict AffinStruct

the carrier of (ADG) is V11() set

A is Element of the carrier of (ADG)

a is Element of the carrier of (ADG)

b is Element of the carrier of (ADG)

c is Element of the carrier of (ADG)

d is Element of the carrier of (ADG)

a9 is Element of the carrier of (ADG)

b9 is Element of the carrier of (ADG)

A is Element of the carrier of (ADG)

a is Element of the carrier of (ADG)

c is Element of the carrier of (ADG)

d is Element of the carrier of (ADG)

b is Element of the carrier of (ADG)

a9 is Element of the carrier of (ADG)

b9 is Element of the carrier of (ADG)

c9 is Element of the carrier of (ADG)

d9 is Element of the carrier of ADG

r is Element of the carrier of ADG

A is Element of the carrier of (ADG)

a is Element of the carrier of (ADG)

b is Element of the carrier of (ADG)

c is Element of the carrier of (ADG)

d is Element of the carrier of ADG

a9 is Element of the carrier of ADG

A is Element of the carrier of (ADG)

a is Element of the carrier of (ADG)

d is Element of the carrier of (ADG)

a9 is Element of the carrier of (ADG)

b is Element of the carrier of (ADG)

c is Element of the carrier of (ADG)

b9 is Element of the carrier of (ADG)

c9 is Element of the carrier of (ADG)

d9 is Element of the carrier of (ADG)

r is Element of the carrier of ADG

p9 is Element of the carrier of ADG

A is Element of the carrier of ADG

a is Element of the carrier of ADG