:: AFVECT01 semantic presentation

K100() is Element of bool K96()

K96() is set

bool K96() is set

K95() is set

bool K95() is set

bool K100() is set

{} is empty set

1 is non empty set

AFV0 is non empty set

[:AFV0,AFV0:] is set

[:[:AFV0,AFV0:],[:AFV0,AFV0:]:] is set

bool [:[:AFV0,AFV0:],[:AFV0,AFV0:]:] is set

X is Element of bool [:[:AFV0,AFV0:],[:AFV0,AFV0:]:]

AffinStruct(# AFV0,X #) is strict AffinStruct

AFV0 is non empty non trivial WeakAffVect-like AffinStruct

the carrier of AFV0 is non empty non trivial set

X is Element of the carrier of AFV0

XX is Element of the carrier of AFV0

P is Element of the carrier of AFV0

AFV0 is non empty non trivial WeakAffVect-like AffinStruct

the carrier of AFV0 is non empty non trivial set

X is Element of the carrier of AFV0

XX is Element of the carrier of AFV0

P is Element of the carrier of AFV0

WAS is Element of the carrier of AFV0

P is Element of the carrier of AFV0

WAS is Element of the carrier of AFV0

a is Element of the carrier of AFV0

AFV is Element of the carrier of AFV0

P is Element of the carrier of AFV0

WAS is Element of the carrier of AFV0

P is Element of the carrier of AFV0

WAS is Element of the carrier of AFV0

AFV is Element of the carrier of AFV0

a is Element of the carrier of AFV0

P is Element of the carrier of AFV0

WAS is Element of the carrier of AFV0

AFV is Element of the carrier of AFV0

a is Element of the carrier of AFV0

AFV0 is non empty non trivial WeakAffVect-like AffinStruct

the carrier of AFV0 is non empty non trivial set

X is Element of the carrier of AFV0

XX is Element of the carrier of AFV0

P is Element of the carrier of AFV0

WAS is Element of the carrier of AFV0

AFV0 is non empty non trivial WeakAffVect-like AffinStruct

the carrier of AFV0 is non empty non trivial set

X is Element of the carrier of AFV0

XX is Element of the carrier of AFV0

AFV0 is non empty non trivial WeakAffVect-like AffinStruct

the carrier of AFV0 is non empty non trivial set

X is Element of the carrier of AFV0

XX is Element of the carrier of AFV0

P is Element of the carrier of AFV0

AFV0 is non empty non trivial WeakAffVect-like AffinStruct

the carrier of AFV0 is non empty non trivial set

X is Element of the carrier of AFV0

XX is Element of the carrier of AFV0

P is Element of the carrier of AFV0

WAS is Element of the carrier of AFV0

AFV is Element of the carrier of AFV0

a is Element of the carrier of AFV0

AFV0 is non empty non trivial WeakAffVect-like AffinStruct

the carrier of AFV0 is non empty non trivial set

X is Element of the carrier of AFV0

XX is Element of the carrier of AFV0

P is Element of the carrier of AFV0

AFV0 is non empty non trivial WeakAffVect-like AffinStruct

the carrier of AFV0 is non empty non trivial set

X is Element of the carrier of AFV0

XX is Element of the carrier of AFV0

P is Element of the carrier of AFV0

WAS is Element of the carrier of AFV0

AFV is Element of the carrier of AFV0

AFV0 is non empty non trivial WeakAffVect-like AffinStruct

the carrier of AFV0 is non empty non trivial set

X is Element of the carrier of AFV0

XX is Element of the carrier of AFV0

P is Element of the carrier of AFV0

WAS is Element of the carrier of AFV0

AFV is Element of the carrier of AFV0

WAS is Element of the carrier of AFV0

AFV is Element of the carrier of AFV0

a is Element of the carrier of AFV0

AFV0 is non empty non trivial WeakAffVect-like AffinStruct

the carrier of AFV0 is non empty non trivial set

X is Element of the carrier of AFV0

XX is Element of the carrier of AFV0

P is Element of the carrier of AFV0

WAS is Element of the carrier of AFV0

AFV is Element of the carrier of AFV0

a is Element of the carrier of AFV0

AFV0 is non empty non trivial WeakAffVect-like AffinStruct

the carrier of AFV0 is non empty non trivial set

X is Element of the carrier of AFV0

XX is Element of the carrier of AFV0

P is Element of the carrier of AFV0

WAS is Element of the carrier of AFV0

AFV is Element of the carrier of AFV0

a is Element of the carrier of AFV0

b is Element of the carrier of AFV0

c is Element of the carrier of AFV0

AFV0 is non empty non trivial WeakAffVect-like AffinStruct

the carrier of AFV0 is non empty non trivial set

X is Element of the carrier of AFV0

XX is Element of the carrier of AFV0

P is Element of the carrier of AFV0

WAS is Element of the carrier of AFV0

AFV is Element of the carrier of AFV0

a is Element of the carrier of AFV0

b is Element of the carrier of AFV0

the non empty non trivial WeakAffVect-like AffinStruct is non empty non trivial WeakAffVect-like AffinStruct

the carrier of the non empty non trivial WeakAffVect-like AffinStruct is non empty non trivial set

[: the carrier of the non empty non trivial WeakAffVect-like AffinStruct , the carrier of the non empty non trivial WeakAffVect-like AffinStruct :] is set

[:[: the carrier of the non empty non trivial WeakAffVect-like AffinStruct , the carrier of the non empty non trivial WeakAffVect-like AffinStruct :],[: the carrier of the non empty non trivial WeakAffVect-like AffinStruct , the carrier of the non empty non trivial WeakAffVect-like AffinStruct :]:] is set

bool [:[: the carrier of the non empty non trivial WeakAffVect-like AffinStruct , the carrier of the non empty non trivial WeakAffVect-like AffinStruct :],[: the carrier of the non empty non trivial WeakAffVect-like AffinStruct , the carrier of the non empty non trivial WeakAffVect-like AffinStruct :]:] is set

P is Element of bool [:[: the carrier of the non empty non trivial WeakAffVect-like AffinStruct , the carrier of the non empty non trivial WeakAffVect-like AffinStruct :],[: the carrier of the non empty non trivial WeakAffVect-like AffinStruct , the carrier of the non empty non trivial WeakAffVect-like AffinStruct :]:]

WAS is Element of the carrier of the non empty non trivial WeakAffVect-like AffinStruct

AFV is Element of the carrier of the non empty non trivial WeakAffVect-like AffinStruct

[WAS,AFV] is set

a is Element of the carrier of the non empty non trivial WeakAffVect-like AffinStruct

b is Element of the carrier of the non empty non trivial WeakAffVect-like AffinStruct

[a,b] is set

[[WAS,AFV],[a,b]] is set

c is Element of the carrier of the non empty non trivial WeakAffVect-like AffinStruct

b is Element of the carrier of the non empty non trivial WeakAffVect-like AffinStruct

[c,b] is set

c is Element of the carrier of the non empty non trivial WeakAffVect-like AffinStruct

q9 is Element of the carrier of the non empty non trivial WeakAffVect-like AffinStruct

[c,q9] is set

AffinStruct(# the carrier of the non empty non trivial WeakAffVect-like AffinStruct ,P #) is non empty strict AffinStruct

the carrier of AffinStruct(# the carrier of the non empty non trivial WeakAffVect-like AffinStruct ,P #) is non empty set

AFV is Element of the carrier of the non empty non trivial WeakAffVect-like AffinStruct

a is Element of the carrier of the non empty non trivial WeakAffVect-like AffinStruct

b is Element of the carrier of the non empty non trivial WeakAffVect-like AffinStruct

c is Element of the carrier of the non empty non trivial WeakAffVect-like AffinStruct

b is Element of the carrier of AffinStruct(# the carrier of the non empty non trivial WeakAffVect-like AffinStruct ,P #)

c is Element of the carrier of AffinStruct(# the carrier of the non empty non trivial WeakAffVect-like AffinStruct ,P #)

q9 is Element of the carrier of AffinStruct(# the carrier of the non empty non trivial WeakAffVect-like AffinStruct ,P #)

a1 is Element of the carrier of AffinStruct(# the carrier of the non empty non trivial WeakAffVect-like AffinStruct ,P #)

[b,c] is set

[q9,a1] is set

[[b,c],[q9,a1]] is set

[AFV,a] is set

[b,c] is set

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

the CONGR of AffinStruct(# the carrier of the non empty non trivial WeakAffVect-like AffinStruct ,P #) is Element of bool [:[: the carrier of AffinStruct(# the carrier of the non empty non trivial WeakAffVect-like AffinStruct ,P #), the carrier of AffinStruct(# the carrier of the non empty non trivial WeakAffVect-like AffinStruct ,P #):],[: the carrier of AffinStruct(# the carrier of the non empty non trivial WeakAffVect-like AffinStruct ,P #), the carrier of AffinStruct(# the carrier of the non empty non trivial WeakAffVect-like AffinStruct ,P #):]:]

[: the carrier of AffinStruct(# the carrier of the non empty non trivial WeakAffVect-like AffinStruct ,P #), the carrier of AffinStruct(# the carrier of the non empty non trivial WeakAffVect-like AffinStruct ,P #):] is set

[:[: the carrier of AffinStruct(# the carrier of the non empty non trivial WeakAffVect-like AffinStruct ,P #), the carrier of AffinStruct(# the carrier of the non empty non trivial WeakAffVect-like AffinStruct ,P #):],[: the carrier of AffinStruct(# the carrier of the non empty non trivial WeakAffVect-like AffinStruct ,P #), the carrier of AffinStruct(# the carrier of the non empty non trivial WeakAffVect-like AffinStruct ,P #):]:] is set

bool [:[: the carrier of AffinStruct(# the carrier of the non empty non trivial WeakAffVect-like AffinStruct ,P #), the carrier of AffinStruct(# the carrier of the non empty non trivial WeakAffVect-like AffinStruct ,P #):],[: the carrier of AffinStruct(# the carrier of the non empty non trivial WeakAffVect-like AffinStruct ,P #), the carrier of AffinStruct(# the carrier of the non empty non trivial WeakAffVect-like AffinStruct ,P #):]:] is set

AFV is Element of the carrier of AffinStruct(# the carrier of the non empty non trivial WeakAffVect-like AffinStruct ,P #)

a is Element of the carrier of AffinStruct(# the carrier of the non empty non trivial WeakAffVect-like AffinStruct ,P #)

b is Element of the carrier of the non empty non trivial WeakAffVect-like AffinStruct

c is Element of the carrier of the non empty non trivial WeakAffVect-like AffinStruct

AFV is Element of the carrier of AffinStruct(# the carrier of the non empty non trivial WeakAffVect-like AffinStruct ,P #)

a is Element of the carrier of AffinStruct(# the carrier of the non empty non trivial WeakAffVect-like AffinStruct ,P #)

b is Element of the carrier of the non empty non trivial WeakAffVect-like AffinStruct

c is Element of the carrier of the non empty non trivial WeakAffVect-like AffinStruct

AFV is Element of the carrier of AffinStruct(# the carrier of the non empty non trivial WeakAffVect-like AffinStruct ,P #)

a is Element of the carrier of AffinStruct(# the carrier of the non empty non trivial WeakAffVect-like AffinStruct ,P #)

b is Element of the carrier of AffinStruct(# the carrier of the non empty non trivial WeakAffVect-like AffinStruct ,P #)

c is Element of the carrier of AffinStruct(# the carrier of the non empty non trivial WeakAffVect-like AffinStruct ,P #)

b is Element of the carrier of AffinStruct(# the carrier of the non empty non trivial WeakAffVect-like AffinStruct ,P #)

c is Element of the carrier of AffinStruct(# the carrier of the non empty non trivial WeakAffVect-like AffinStruct ,P #)

q9 is Element of the carrier of the non empty non trivial WeakAffVect-like AffinStruct

a1 is Element of the carrier of the non empty non trivial WeakAffVect-like AffinStruct

p1 is Element of the carrier of the non empty non trivial WeakAffVect-like AffinStruct

p19 is Element of the carrier of the non empty non trivial WeakAffVect-like AffinStruct

b1 is Element of the carrier of the non empty non trivial WeakAffVect-like AffinStruct

c1 is Element of the carrier of the non empty non trivial WeakAffVect-like AffinStruct

AFV is Element of the carrier of AffinStruct(# the carrier of the non empty non trivial WeakAffVect-like AffinStruct ,P #)

a is Element of the carrier of AffinStruct(# the carrier of the non empty non trivial WeakAffVect-like AffinStruct ,P #)

b is Element of the carrier of the non empty non trivial WeakAffVect-like AffinStruct

c is Element of the carrier of the non empty non trivial WeakAffVect-like AffinStruct

b is Element of the carrier of the non empty non trivial WeakAffVect-like AffinStruct

c is Element of the carrier of AffinStruct(# the carrier of the non empty non trivial WeakAffVect-like AffinStruct ,P #)

AFV is Element of the carrier of AffinStruct(# the carrier of the non empty non trivial WeakAffVect-like AffinStruct ,P #)

a is Element of the carrier of AffinStruct(# the carrier of the non empty non trivial WeakAffVect-like AffinStruct ,P #)

b is Element of the carrier of AffinStruct(# the carrier of the non empty non trivial WeakAffVect-like AffinStruct ,P #)

c is Element of the carrier of AffinStruct(# the carrier of the non empty non trivial WeakAffVect-like AffinStruct ,P #)

b is Element of the carrier of AffinStruct(# the carrier of the non empty non trivial WeakAffVect-like AffinStruct ,P #)

c1 is Element of the carrier of the non empty non trivial WeakAffVect-like AffinStruct

c is Element of the carrier of the non empty non trivial WeakAffVect-like AffinStruct

q9 is Element of the carrier of the non empty non trivial WeakAffVect-like AffinStruct

a1 is Element of the carrier of the non empty non trivial WeakAffVect-like AffinStruct

b1 is Element of the carrier of the non empty non trivial WeakAffVect-like AffinStruct

AFV is Element of the carrier of AffinStruct(# the carrier of the non empty non trivial WeakAffVect-like AffinStruct ,P #)

a is Element of the carrier of AffinStruct(# the carrier of the non empty non trivial WeakAffVect-like AffinStruct ,P #)

b is Element of the carrier of the non empty non trivial WeakAffVect-like AffinStruct

c is Element of the carrier of the non empty non trivial WeakAffVect-like AffinStruct

b is Element of the carrier of the non empty non trivial WeakAffVect-like AffinStruct

c is Element of the carrier of the non empty non trivial WeakAffVect-like AffinStruct

a1 is Element of the carrier of AffinStruct(# the carrier of the non empty non trivial WeakAffVect-like AffinStruct ,P #)

q9 is Element of the carrier of AffinStruct(# the carrier of the non empty non trivial WeakAffVect-like AffinStruct ,P #)

b is Element of the carrier of the non empty non trivial WeakAffVect-like AffinStruct

c is Element of the carrier of AffinStruct(# the carrier of the non empty non trivial WeakAffVect-like AffinStruct ,P #)

b is Element of the carrier of AffinStruct(# the carrier of the non empty non trivial WeakAffVect-like AffinStruct ,P #)

c is Element of the carrier of AffinStruct(# the carrier of the non empty non trivial WeakAffVect-like AffinStruct ,P #)

q9 is Element of the carrier of AffinStruct(# the carrier of the non empty non trivial WeakAffVect-like AffinStruct ,P #)

AFV is Element of the carrier of AffinStruct(# the carrier of the non empty non trivial WeakAffVect-like AffinStruct ,P #)

a is Element of the carrier of AffinStruct(# the carrier of the non empty non trivial WeakAffVect-like AffinStruct ,P #)

c is Element of the carrier of AffinStruct(# the carrier of the non empty non trivial WeakAffVect-like AffinStruct ,P #)

b is Element of the carrier of AffinStruct(# the carrier of the non empty non trivial WeakAffVect-like AffinStruct ,P #)

c is Element of the carrier of AffinStruct(# the carrier of the non empty non trivial WeakAffVect-like AffinStruct ,P #)

b is Element of the carrier of AffinStruct(# the carrier of the non empty non trivial WeakAffVect-like AffinStruct ,P #)

a1 is Element of the carrier of the non empty non trivial WeakAffVect-like AffinStruct

c1 is Element of the carrier of the non empty non trivial WeakAffVect-like AffinStruct

b1 is Element of the carrier of the non empty non trivial WeakAffVect-like AffinStruct

p1 is Element of the carrier of the non empty non trivial WeakAffVect-like AffinStruct

q9 is Element of the carrier of the non empty non trivial WeakAffVect-like AffinStruct

p19 is Element of the carrier of the non empty non trivial WeakAffVect-like AffinStruct

AFV is Element of the carrier of AffinStruct(# the carrier of the non empty non trivial WeakAffVect-like AffinStruct ,P #)

c is Element of the carrier of AffinStruct(# the carrier of the non empty non trivial WeakAffVect-like AffinStruct ,P #)

a is Element of the carrier of AffinStruct(# the carrier of the non empty non trivial WeakAffVect-like AffinStruct ,P #)

b is Element of the carrier of AffinStruct(# the carrier of the non empty non trivial WeakAffVect-like AffinStruct ,P #)

b is Element of the carrier of the non empty non trivial WeakAffVect-like AffinStruct

c is Element of the carrier of the non empty non trivial WeakAffVect-like AffinStruct

a1 is Element of the carrier of the non empty non trivial WeakAffVect-like AffinStruct

q9 is Element of the carrier of the non empty non trivial WeakAffVect-like AffinStruct

b1 is Element of the carrier of the non empty non trivial WeakAffVect-like AffinStruct

c1 is Element of the carrier of the non empty non trivial WeakAffVect-like AffinStruct

p19 is Element of the carrier of AffinStruct(# the carrier of the non empty non trivial WeakAffVect-like AffinStruct ,P #)

p1 is Element of the carrier of AffinStruct(# the carrier of the non empty non trivial WeakAffVect-like AffinStruct ,P #)

AFV is Element of the carrier of AffinStruct(# the carrier of the non empty non trivial WeakAffVect-like AffinStruct ,P #)

a is Element of the carrier of AffinStruct(# the carrier of the non empty non trivial WeakAffVect-like AffinStruct ,P #)

c is Element of the carrier of AffinStruct(# the carrier of the non empty non trivial WeakAffVect-like AffinStruct ,P #)

b is Element of the carrier of AffinStruct(# the carrier of the non empty non trivial WeakAffVect-like AffinStruct ,P #)

b is Element of the carrier of AffinStruct(# the carrier of the non empty non trivial WeakAffVect-like AffinStruct ,P #)

c is Element of the carrier of AffinStruct(# the carrier of the non empty non trivial WeakAffVect-like AffinStruct ,P #)

q9 is Element of the carrier of AffinStruct(# the carrier of the non empty non trivial WeakAffVect-like AffinStruct ,P #)

a1 is Element of the carrier of the non empty non trivial WeakAffVect-like AffinStruct

p1 is Element of the carrier of the non empty non trivial WeakAffVect-like AffinStruct

b1 is Element of the carrier of the non empty non trivial WeakAffVect-like AffinStruct

q1 is Element of the carrier of the non empty non trivial WeakAffVect-like AffinStruct

c1 is Element of the carrier of the non empty non trivial WeakAffVect-like AffinStruct

p19 is Element of the carrier of the non empty non trivial WeakAffVect-like AffinStruct

q19 is Element of the carrier of the non empty non trivial WeakAffVect-like AffinStruct

r1 is Element of the carrier of the non empty non trivial WeakAffVect-like AffinStruct

r19 is Element of the carrier of the non empty non trivial WeakAffVect-like AffinStruct

r9 is Element of the carrier of AffinStruct(# the carrier of the non empty non trivial WeakAffVect-like AffinStruct ,P #)

r is Element of the carrier of AffinStruct(# the carrier of the non empty non trivial WeakAffVect-like AffinStruct ,P #)

AFV is Element of the carrier of AffinStruct(# the carrier of the non empty non trivial WeakAffVect-like AffinStruct ,P #)

a is Element of the carrier of AffinStruct(# the carrier of the non empty non trivial WeakAffVect-like AffinStruct ,P #)

AFV is non empty non trivial () AffinStruct

the carrier of AFV is non empty non trivial set

a is Element of the carrier of AFV

b is Element of the carrier of AFV

AFV is non empty non trivial () AffinStruct

the carrier of AFV is non empty non trivial set

a is Element of the carrier of AFV

b is Element of the carrier of AFV

c is Element of the carrier of AFV

b is Element of the carrier of AFV

AFV is non empty non trivial () AffinStruct

the carrier of AFV is non empty non trivial set

a is Element of the carrier of AFV

b is Element of the carrier of AFV

c is Element of the carrier of AFV

b is Element of the carrier of AFV

AFV is non empty non trivial () AffinStruct

the carrier of AFV is non empty non trivial set

a is Element of the carrier of AFV

b is Element of the carrier of AFV

c is Element of the carrier of AFV

b is Element of the carrier of AFV

AFV is non empty non trivial () AffinStruct

the carrier of AFV is non empty non trivial set

a is Element of the carrier of AFV

b is Element of the carrier of AFV

c is Element of the carrier of AFV

AFV is non empty non trivial () AffinStruct

the carrier of AFV is non empty non trivial set

a is Element of the carrier of AFV

b is Element of the carrier of AFV

c is Element of the carrier of AFV

AFV is non empty non trivial () AffinStruct

the carrier of AFV is non empty non trivial set

a is Element of the carrier of AFV

b is Element of the carrier of AFV

c is Element of the carrier of AFV

b is Element of the carrier of AFV

c is Element of the carrier of AFV

AFV is non empty non trivial () AffinStruct

the carrier of AFV is non empty non trivial set

a is Element of the carrier of AFV

b is Element of the carrier of AFV

c is Element of the carrier of AFV

b is Element of the carrier of AFV

AFV is non empty non trivial () AffinStruct

the carrier of AFV is non empty non trivial set

AFV is non empty non trivial () AffinStruct

the carrier of AFV is non empty non trivial set

AFV is non empty non trivial () AffinStruct

the carrier of AFV is non empty non trivial set

a is Element of the carrier of AFV

b is Element of the carrier of AFV

c is Element of the carrier of AFV

b is Element of the carrier of AFV

c is Element of the carrier of AFV

AFV is non empty non trivial () AffinStruct

the carrier of AFV is non empty non trivial set

a is Element of the carrier of AFV

b is Element of the carrier of AFV

c is Element of the carrier of AFV

b is Element of the carrier of AFV

c is Element of the carrier of AFV

AFV is non empty non trivial () AffinStruct

the carrier of AFV is non empty non trivial set

a is Element of the carrier of AFV

b is Element of the carrier of AFV

c is Element of the carrier of AFV

b is Element of the carrier of AFV