begin
definition
let GF be ( ( non
empty non
degenerated V68()
V88()
V94()
V96()
well-unital V102()
V115()
V116()
V117() ) ( non
empty non
degenerated non
trivial V68()
V88()
unital V94()
V96()
right-distributive left-distributive right_unital well-unital V102()
left_unital V115()
V116()
V117() )
Field) ;
let V be ( ( non
empty V68()
V105(
GF : ( ( non
empty non
degenerated V68()
V88()
V94()
V96()
well-unital V102()
V115()
V116()
V117() ) ( non
empty non
degenerated non
trivial V68()
V88()
unital V94()
V96()
right-distributive left-distributive right_unital well-unital V102()
left_unital V115()
V116()
V117() )
Field) )
V106(
GF : ( ( non
empty non
degenerated V68()
V88()
V94()
V96()
well-unital V102()
V115()
V116()
V117() ) ( non
empty non
degenerated non
trivial V68()
V88()
unital V94()
V96()
right-distributive left-distributive right_unital well-unital V102()
left_unital V115()
V116()
V117() )
Field) )
V107(
GF : ( ( non
empty non
degenerated V68()
V88()
V94()
V96()
well-unital V102()
V115()
V116()
V117() ) ( non
empty non
degenerated non
trivial V68()
V88()
unital V94()
V96()
right-distributive left-distributive right_unital well-unital V102()
left_unital V115()
V116()
V117() )
Field) )
V108(
GF : ( ( non
empty non
degenerated V68()
V88()
V94()
V96()
well-unital V102()
V115()
V116()
V117() ) ( non
empty non
degenerated non
trivial V68()
V88()
unital V94()
V96()
right-distributive left-distributive right_unital well-unital V102()
left_unital V115()
V116()
V117() )
Field) )
V115()
V116()
V117() ) ( non
empty V68()
V105(
GF : ( ( non
empty non
degenerated V68()
V88()
V94()
V96()
well-unital V102()
V115()
V116()
V117() ) ( non
empty non
degenerated non
trivial V68()
V88()
unital V94()
V96()
right-distributive left-distributive right_unital well-unital V102()
left_unital V115()
V116()
V117() )
Field) )
V106(
GF : ( ( non
empty non
degenerated V68()
V88()
V94()
V96()
well-unital V102()
V115()
V116()
V117() ) ( non
empty non
degenerated non
trivial V68()
V88()
unital V94()
V96()
right-distributive left-distributive right_unital well-unital V102()
left_unital V115()
V116()
V117() )
Field) )
V107(
GF : ( ( non
empty non
degenerated V68()
V88()
V94()
V96()
well-unital V102()
V115()
V116()
V117() ) ( non
empty non
degenerated non
trivial V68()
V88()
unital V94()
V96()
right-distributive left-distributive right_unital well-unital V102()
left_unital V115()
V116()
V117() )
Field) )
V108(
GF : ( ( non
empty non
degenerated V68()
V88()
V94()
V96()
well-unital V102()
V115()
V116()
V117() ) ( non
empty non
degenerated non
trivial V68()
V88()
unital V94()
V96()
right-distributive left-distributive right_unital well-unital V102()
left_unital V115()
V116()
V117() )
Field) )
V115()
V116()
V117() )
VectSp of
GF : ( ( non
empty non
degenerated V68()
V88()
V94()
V96()
well-unital V102()
V115()
V116()
V117() ) ( non
empty non
degenerated non
trivial V68()
V88()
unital V94()
V96()
right-distributive left-distributive right_unital well-unital V102()
left_unital V115()
V116()
V117() )
Field) ) ;
mode Basis of
V -> ( ( ) ( )
Subset of )
means
(
it : ( (
Function-like quasi_total ) (
Relation-like [:V : ( ( non empty V68() V105(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V106(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V107(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V108(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V115() V116() V117() ) ( non empty V68() V105(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V106(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V107(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V108(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V115() V116() V117() ) VectSpStr over GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) ,V : ( ( non empty V68() V105(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V106(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V107(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V108(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V115() V116() V117() ) ( non empty V68() V105(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V106(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V107(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V108(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V115() V116() V117() ) VectSpStr over GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) :] : ( ( ) ( )
set )
-defined V : ( ( non
empty V68()
V105(
GF : ( ( non
empty non
degenerated V68()
V88()
V94()
V96()
well-unital V102()
V115()
V116()
V117() ) ( non
empty non
degenerated non
trivial V68()
V88()
unital V94()
V96()
right-distributive left-distributive right_unital well-unital V102()
left_unital V115()
V116()
V117() )
L11()) )
V106(
GF : ( ( non
empty non
degenerated V68()
V88()
V94()
V96()
well-unital V102()
V115()
V116()
V117() ) ( non
empty non
degenerated non
trivial V68()
V88()
unital V94()
V96()
right-distributive left-distributive right_unital well-unital V102()
left_unital V115()
V116()
V117() )
L11()) )
V107(
GF : ( ( non
empty non
degenerated V68()
V88()
V94()
V96()
well-unital V102()
V115()
V116()
V117() ) ( non
empty non
degenerated non
trivial V68()
V88()
unital V94()
V96()
right-distributive left-distributive right_unital well-unital V102()
left_unital V115()
V116()
V117() )
L11()) )
V108(
GF : ( ( non
empty non
degenerated V68()
V88()
V94()
V96()
well-unital V102()
V115()
V116()
V117() ) ( non
empty non
degenerated non
trivial V68()
V88()
unital V94()
V96()
right-distributive left-distributive right_unital well-unital V102()
left_unital V115()
V116()
V117() )
L11()) )
V115()
V116()
V117() ) ( non
empty V68()
V105(
GF : ( ( non
empty non
degenerated V68()
V88()
V94()
V96()
well-unital V102()
V115()
V116()
V117() ) ( non
empty non
degenerated non
trivial V68()
V88()
unital V94()
V96()
right-distributive left-distributive right_unital well-unital V102()
left_unital V115()
V116()
V117() )
L11()) )
V106(
GF : ( ( non
empty non
degenerated V68()
V88()
V94()
V96()
well-unital V102()
V115()
V116()
V117() ) ( non
empty non
degenerated non
trivial V68()
V88()
unital V94()
V96()
right-distributive left-distributive right_unital well-unital V102()
left_unital V115()
V116()
V117() )
L11()) )
V107(
GF : ( ( non
empty non
degenerated V68()
V88()
V94()
V96()
well-unital V102()
V115()
V116()
V117() ) ( non
empty non
degenerated non
trivial V68()
V88()
unital V94()
V96()
right-distributive left-distributive right_unital well-unital V102()
left_unital V115()
V116()
V117() )
L11()) )
V108(
GF : ( ( non
empty non
degenerated V68()
V88()
V94()
V96()
well-unital V102()
V115()
V116()
V117() ) ( non
empty non
degenerated non
trivial V68()
V88()
unital V94()
V96()
right-distributive left-distributive right_unital well-unital V102()
left_unital V115()
V116()
V117() )
L11()) )
V115()
V116()
V117() )
VectSpStr over
GF : ( ( non
empty non
degenerated V68()
V88()
V94()
V96()
well-unital V102()
V115()
V116()
V117() ) ( non
empty non
degenerated non
trivial V68()
V88()
unital V94()
V96()
right-distributive left-distributive right_unital well-unital V102()
left_unital V115()
V116()
V117() )
L11()) )
-valued Function-like quasi_total )
Element of
bool [:[:V : ( ( non empty V68() V105(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V106(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V107(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V108(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V115() V116() V117() ) ( non empty V68() V105(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V106(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V107(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V108(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V115() V116() V117() ) VectSpStr over GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) ,V : ( ( non empty V68() V105(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V106(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V107(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V108(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V115() V116() V117() ) ( non empty V68() V105(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V106(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V107(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V108(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V115() V116() V117() ) VectSpStr over GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) :] : ( ( ) ( ) set ) ,V : ( ( non empty V68() V105(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V106(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V107(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V108(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V115() V116() V117() ) ( non empty V68() V105(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V106(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V107(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V108(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V115() V116() V117() ) VectSpStr over GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) :] : ( ( ) ( )
set ) : ( ( ) ( non
empty )
set ) ) is
linearly-independent &
Lin it : ( (
Function-like quasi_total ) (
Relation-like [:V : ( ( non empty V68() V105(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V106(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V107(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V108(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V115() V116() V117() ) ( non empty V68() V105(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V106(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V107(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V108(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V115() V116() V117() ) VectSpStr over GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) ,V : ( ( non empty V68() V105(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V106(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V107(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V108(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V115() V116() V117() ) ( non empty V68() V105(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V106(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V107(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V108(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V115() V116() V117() ) VectSpStr over GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) :] : ( ( ) ( )
set )
-defined V : ( ( non
empty V68()
V105(
GF : ( ( non
empty non
degenerated V68()
V88()
V94()
V96()
well-unital V102()
V115()
V116()
V117() ) ( non
empty non
degenerated non
trivial V68()
V88()
unital V94()
V96()
right-distributive left-distributive right_unital well-unital V102()
left_unital V115()
V116()
V117() )
L11()) )
V106(
GF : ( ( non
empty non
degenerated V68()
V88()
V94()
V96()
well-unital V102()
V115()
V116()
V117() ) ( non
empty non
degenerated non
trivial V68()
V88()
unital V94()
V96()
right-distributive left-distributive right_unital well-unital V102()
left_unital V115()
V116()
V117() )
L11()) )
V107(
GF : ( ( non
empty non
degenerated V68()
V88()
V94()
V96()
well-unital V102()
V115()
V116()
V117() ) ( non
empty non
degenerated non
trivial V68()
V88()
unital V94()
V96()
right-distributive left-distributive right_unital well-unital V102()
left_unital V115()
V116()
V117() )
L11()) )
V108(
GF : ( ( non
empty non
degenerated V68()
V88()
V94()
V96()
well-unital V102()
V115()
V116()
V117() ) ( non
empty non
degenerated non
trivial V68()
V88()
unital V94()
V96()
right-distributive left-distributive right_unital well-unital V102()
left_unital V115()
V116()
V117() )
L11()) )
V115()
V116()
V117() ) ( non
empty V68()
V105(
GF : ( ( non
empty non
degenerated V68()
V88()
V94()
V96()
well-unital V102()
V115()
V116()
V117() ) ( non
empty non
degenerated non
trivial V68()
V88()
unital V94()
V96()
right-distributive left-distributive right_unital well-unital V102()
left_unital V115()
V116()
V117() )
L11()) )
V106(
GF : ( ( non
empty non
degenerated V68()
V88()
V94()
V96()
well-unital V102()
V115()
V116()
V117() ) ( non
empty non
degenerated non
trivial V68()
V88()
unital V94()
V96()
right-distributive left-distributive right_unital well-unital V102()
left_unital V115()
V116()
V117() )
L11()) )
V107(
GF : ( ( non
empty non
degenerated V68()
V88()
V94()
V96()
well-unital V102()
V115()
V116()
V117() ) ( non
empty non
degenerated non
trivial V68()
V88()
unital V94()
V96()
right-distributive left-distributive right_unital well-unital V102()
left_unital V115()
V116()
V117() )
L11()) )
V108(
GF : ( ( non
empty non
degenerated V68()
V88()
V94()
V96()
well-unital V102()
V115()
V116()
V117() ) ( non
empty non
degenerated non
trivial V68()
V88()
unital V94()
V96()
right-distributive left-distributive right_unital well-unital V102()
left_unital V115()
V116()
V117() )
L11()) )
V115()
V116()
V117() )
VectSpStr over
GF : ( ( non
empty non
degenerated V68()
V88()
V94()
V96()
well-unital V102()
V115()
V116()
V117() ) ( non
empty non
degenerated non
trivial V68()
V88()
unital V94()
V96()
right-distributive left-distributive right_unital well-unital V102()
left_unital V115()
V116()
V117() )
L11()) )
-valued Function-like quasi_total )
Element of
bool [:[:V : ( ( non empty V68() V105(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V106(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V107(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V108(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V115() V116() V117() ) ( non empty V68() V105(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V106(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V107(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V108(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V115() V116() V117() ) VectSpStr over GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) ,V : ( ( non empty V68() V105(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V106(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V107(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V108(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V115() V116() V117() ) ( non empty V68() V105(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V106(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V107(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V108(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V115() V116() V117() ) VectSpStr over GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) :] : ( ( ) ( ) set ) ,V : ( ( non empty V68() V105(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V106(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V107(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V108(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V115() V116() V117() ) ( non empty V68() V105(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V106(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V107(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V108(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V115() V116() V117() ) VectSpStr over GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) :] : ( ( ) ( )
set ) : ( ( ) ( non
empty )
set ) ) : ( (
strict ) ( non
empty V68()
strict V105(
GF : ( ( non
empty non
degenerated V68()
V88()
V94()
V96()
well-unital V102()
V115()
V116()
V117() ) ( non
empty non
degenerated non
trivial V68()
V88()
unital V94()
V96()
right-distributive left-distributive right_unital well-unital V102()
left_unital V115()
V116()
V117() )
L11()) )
V106(
GF : ( ( non
empty non
degenerated V68()
V88()
V94()
V96()
well-unital V102()
V115()
V116()
V117() ) ( non
empty non
degenerated non
trivial V68()
V88()
unital V94()
V96()
right-distributive left-distributive right_unital well-unital V102()
left_unital V115()
V116()
V117() )
L11()) )
V107(
GF : ( ( non
empty non
degenerated V68()
V88()
V94()
V96()
well-unital V102()
V115()
V116()
V117() ) ( non
empty non
degenerated non
trivial V68()
V88()
unital V94()
V96()
right-distributive left-distributive right_unital well-unital V102()
left_unital V115()
V116()
V117() )
L11()) )
V108(
GF : ( ( non
empty non
degenerated V68()
V88()
V94()
V96()
well-unital V102()
V115()
V116()
V117() ) ( non
empty non
degenerated non
trivial V68()
V88()
unital V94()
V96()
right-distributive left-distributive right_unital well-unital V102()
left_unital V115()
V116()
V117() )
L11()) )
V115()
V116()
V117() )
Subspace of
V : ( ( non
empty V68()
V105(
GF : ( ( non
empty non
degenerated V68()
V88()
V94()
V96()
well-unital V102()
V115()
V116()
V117() ) ( non
empty non
degenerated non
trivial V68()
V88()
unital V94()
V96()
right-distributive left-distributive right_unital well-unital V102()
left_unital V115()
V116()
V117() )
L11()) )
V106(
GF : ( ( non
empty non
degenerated V68()
V88()
V94()
V96()
well-unital V102()
V115()
V116()
V117() ) ( non
empty non
degenerated non
trivial V68()
V88()
unital V94()
V96()
right-distributive left-distributive right_unital well-unital V102()
left_unital V115()
V116()
V117() )
L11()) )
V107(
GF : ( ( non
empty non
degenerated V68()
V88()
V94()
V96()
well-unital V102()
V115()
V116()
V117() ) ( non
empty non
degenerated non
trivial V68()
V88()
unital V94()
V96()
right-distributive left-distributive right_unital well-unital V102()
left_unital V115()
V116()
V117() )
L11()) )
V108(
GF : ( ( non
empty non
degenerated V68()
V88()
V94()
V96()
well-unital V102()
V115()
V116()
V117() ) ( non
empty non
degenerated non
trivial V68()
V88()
unital V94()
V96()
right-distributive left-distributive right_unital well-unital V102()
left_unital V115()
V116()
V117() )
L11()) )
V115()
V116()
V117() ) ( non
empty V68()
V105(
GF : ( ( non
empty non
degenerated V68()
V88()
V94()
V96()
well-unital V102()
V115()
V116()
V117() ) ( non
empty non
degenerated non
trivial V68()
V88()
unital V94()
V96()
right-distributive left-distributive right_unital well-unital V102()
left_unital V115()
V116()
V117() )
L11()) )
V106(
GF : ( ( non
empty non
degenerated V68()
V88()
V94()
V96()
well-unital V102()
V115()
V116()
V117() ) ( non
empty non
degenerated non
trivial V68()
V88()
unital V94()
V96()
right-distributive left-distributive right_unital well-unital V102()
left_unital V115()
V116()
V117() )
L11()) )
V107(
GF : ( ( non
empty non
degenerated V68()
V88()
V94()
V96()
well-unital V102()
V115()
V116()
V117() ) ( non
empty non
degenerated non
trivial V68()
V88()
unital V94()
V96()
right-distributive left-distributive right_unital well-unital V102()
left_unital V115()
V116()
V117() )
L11()) )
V108(
GF : ( ( non
empty non
degenerated V68()
V88()
V94()
V96()
well-unital V102()
V115()
V116()
V117() ) ( non
empty non
degenerated non
trivial V68()
V88()
unital V94()
V96()
right-distributive left-distributive right_unital well-unital V102()
left_unital V115()
V116()
V117() )
L11()) )
V115()
V116()
V117() )
VectSpStr over
GF : ( ( non
empty non
degenerated V68()
V88()
V94()
V96()
well-unital V102()
V115()
V116()
V117() ) ( non
empty non
degenerated non
trivial V68()
V88()
unital V94()
V96()
right-distributive left-distributive right_unital well-unital V102()
left_unital V115()
V116()
V117() )
L11()) ) )
= VectSpStr(# the
carrier of
V : ( ( non
empty V68()
V105(
GF : ( ( non
empty non
degenerated V68()
V88()
V94()
V96()
well-unital V102()
V115()
V116()
V117() ) ( non
empty non
degenerated non
trivial V68()
V88()
unital V94()
V96()
right-distributive left-distributive right_unital well-unital V102()
left_unital V115()
V116()
V117() )
L11()) )
V106(
GF : ( ( non
empty non
degenerated V68()
V88()
V94()
V96()
well-unital V102()
V115()
V116()
V117() ) ( non
empty non
degenerated non
trivial V68()
V88()
unital V94()
V96()
right-distributive left-distributive right_unital well-unital V102()
left_unital V115()
V116()
V117() )
L11()) )
V107(
GF : ( ( non
empty non
degenerated V68()
V88()
V94()
V96()
well-unital V102()
V115()
V116()
V117() ) ( non
empty non
degenerated non
trivial V68()
V88()
unital V94()
V96()
right-distributive left-distributive right_unital well-unital V102()
left_unital V115()
V116()
V117() )
L11()) )
V108(
GF : ( ( non
empty non
degenerated V68()
V88()
V94()
V96()
well-unital V102()
V115()
V116()
V117() ) ( non
empty non
degenerated non
trivial V68()
V88()
unital V94()
V96()
right-distributive left-distributive right_unital well-unital V102()
left_unital V115()
V116()
V117() )
L11()) )
V115()
V116()
V117() ) ( non
empty V68()
V105(
GF : ( ( non
empty non
degenerated V68()
V88()
V94()
V96()
well-unital V102()
V115()
V116()
V117() ) ( non
empty non
degenerated non
trivial V68()
V88()
unital V94()
V96()
right-distributive left-distributive right_unital well-unital V102()
left_unital V115()
V116()
V117() )
L11()) )
V106(
GF : ( ( non
empty non
degenerated V68()
V88()
V94()
V96()
well-unital V102()
V115()
V116()
V117() ) ( non
empty non
degenerated non
trivial V68()
V88()
unital V94()
V96()
right-distributive left-distributive right_unital well-unital V102()
left_unital V115()
V116()
V117() )
L11()) )
V107(
GF : ( ( non
empty non
degenerated V68()
V88()
V94()
V96()
well-unital V102()
V115()
V116()
V117() ) ( non
empty non
degenerated non
trivial V68()
V88()
unital V94()
V96()
right-distributive left-distributive right_unital well-unital V102()
left_unital V115()
V116()
V117() )
L11()) )
V108(
GF : ( ( non
empty non
degenerated V68()
V88()
V94()
V96()
well-unital V102()
V115()
V116()
V117() ) ( non
empty non
degenerated non
trivial V68()
V88()
unital V94()
V96()
right-distributive left-distributive right_unital well-unital V102()
left_unital V115()
V116()
V117() )
L11()) )
V115()
V116()
V117() )
VectSpStr over
GF : ( ( non
empty non
degenerated V68()
V88()
V94()
V96()
well-unital V102()
V115()
V116()
V117() ) ( non
empty non
degenerated non
trivial V68()
V88()
unital V94()
V96()
right-distributive left-distributive right_unital well-unital V102()
left_unital V115()
V116()
V117() )
L11()) ) : ( ( ) ( non
empty )
set ) , the
U5 of
V : ( ( non
empty V68()
V105(
GF : ( ( non
empty non
degenerated V68()
V88()
V94()
V96()
well-unital V102()
V115()
V116()
V117() ) ( non
empty non
degenerated non
trivial V68()
V88()
unital V94()
V96()
right-distributive left-distributive right_unital well-unital V102()
left_unital V115()
V116()
V117() )
L11()) )
V106(
GF : ( ( non
empty non
degenerated V68()
V88()
V94()
V96()
well-unital V102()
V115()
V116()
V117() ) ( non
empty non
degenerated non
trivial V68()
V88()
unital V94()
V96()
right-distributive left-distributive right_unital well-unital V102()
left_unital V115()
V116()
V117() )
L11()) )
V107(
GF : ( ( non
empty non
degenerated V68()
V88()
V94()
V96()
well-unital V102()
V115()
V116()
V117() ) ( non
empty non
degenerated non
trivial V68()
V88()
unital V94()
V96()
right-distributive left-distributive right_unital well-unital V102()
left_unital V115()
V116()
V117() )
L11()) )
V108(
GF : ( ( non
empty non
degenerated V68()
V88()
V94()
V96()
well-unital V102()
V115()
V116()
V117() ) ( non
empty non
degenerated non
trivial V68()
V88()
unital V94()
V96()
right-distributive left-distributive right_unital well-unital V102()
left_unital V115()
V116()
V117() )
L11()) )
V115()
V116()
V117() ) ( non
empty V68()
V105(
GF : ( ( non
empty non
degenerated V68()
V88()
V94()
V96()
well-unital V102()
V115()
V116()
V117() ) ( non
empty non
degenerated non
trivial V68()
V88()
unital V94()
V96()
right-distributive left-distributive right_unital well-unital V102()
left_unital V115()
V116()
V117() )
L11()) )
V106(
GF : ( ( non
empty non
degenerated V68()
V88()
V94()
V96()
well-unital V102()
V115()
V116()
V117() ) ( non
empty non
degenerated non
trivial V68()
V88()
unital V94()
V96()
right-distributive left-distributive right_unital well-unital V102()
left_unital V115()
V116()
V117() )
L11()) )
V107(
GF : ( ( non
empty non
degenerated V68()
V88()
V94()
V96()
well-unital V102()
V115()
V116()
V117() ) ( non
empty non
degenerated non
trivial V68()
V88()
unital V94()
V96()
right-distributive left-distributive right_unital well-unital V102()
left_unital V115()
V116()
V117() )
L11()) )
V108(
GF : ( ( non
empty non
degenerated V68()
V88()
V94()
V96()
well-unital V102()
V115()
V116()
V117() ) ( non
empty non
degenerated non
trivial V68()
V88()
unital V94()
V96()
right-distributive left-distributive right_unital well-unital V102()
left_unital V115()
V116()
V117() )
L11()) )
V115()
V116()
V117() )
VectSpStr over
GF : ( ( non
empty non
degenerated V68()
V88()
V94()
V96()
well-unital V102()
V115()
V116()
V117() ) ( non
empty non
degenerated non
trivial V68()
V88()
unital V94()
V96()
right-distributive left-distributive right_unital well-unital V102()
left_unital V115()
V116()
V117() )
L11()) ) : ( (
Function-like quasi_total ) (
Relation-like [: the carrier of V : ( ( non empty V68() V105(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V106(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V107(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V108(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V115() V116() V117() ) ( non empty V68() V105(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V106(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V107(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V108(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V115() V116() V117() ) VectSpStr over GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) : ( ( ) ( non empty ) set ) , the carrier of V : ( ( non empty V68() V105(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V106(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V107(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V108(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V115() V116() V117() ) ( non empty V68() V105(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V106(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V107(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V108(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V115() V116() V117() ) VectSpStr over GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) : ( ( ) ( non empty ) set ) :] : ( ( ) ( non
empty )
set )
-defined the
carrier of
V : ( ( non
empty V68()
V105(
GF : ( ( non
empty non
degenerated V68()
V88()
V94()
V96()
well-unital V102()
V115()
V116()
V117() ) ( non
empty non
degenerated non
trivial V68()
V88()
unital V94()
V96()
right-distributive left-distributive right_unital well-unital V102()
left_unital V115()
V116()
V117() )
L11()) )
V106(
GF : ( ( non
empty non
degenerated V68()
V88()
V94()
V96()
well-unital V102()
V115()
V116()
V117() ) ( non
empty non
degenerated non
trivial V68()
V88()
unital V94()
V96()
right-distributive left-distributive right_unital well-unital V102()
left_unital V115()
V116()
V117() )
L11()) )
V107(
GF : ( ( non
empty non
degenerated V68()
V88()
V94()
V96()
well-unital V102()
V115()
V116()
V117() ) ( non
empty non
degenerated non
trivial V68()
V88()
unital V94()
V96()
right-distributive left-distributive right_unital well-unital V102()
left_unital V115()
V116()
V117() )
L11()) )
V108(
GF : ( ( non
empty non
degenerated V68()
V88()
V94()
V96()
well-unital V102()
V115()
V116()
V117() ) ( non
empty non
degenerated non
trivial V68()
V88()
unital V94()
V96()
right-distributive left-distributive right_unital well-unital V102()
left_unital V115()
V116()
V117() )
L11()) )
V115()
V116()
V117() ) ( non
empty V68()
V105(
GF : ( ( non
empty non
degenerated V68()
V88()
V94()
V96()
well-unital V102()
V115()
V116()
V117() ) ( non
empty non
degenerated non
trivial V68()
V88()
unital V94()
V96()
right-distributive left-distributive right_unital well-unital V102()
left_unital V115()
V116()
V117() )
L11()) )
V106(
GF : ( ( non
empty non
degenerated V68()
V88()
V94()
V96()
well-unital V102()
V115()
V116()
V117() ) ( non
empty non
degenerated non
trivial V68()
V88()
unital V94()
V96()
right-distributive left-distributive right_unital well-unital V102()
left_unital V115()
V116()
V117() )
L11()) )
V107(
GF : ( ( non
empty non
degenerated V68()
V88()
V94()
V96()
well-unital V102()
V115()
V116()
V117() ) ( non
empty non
degenerated non
trivial V68()
V88()
unital V94()
V96()
right-distributive left-distributive right_unital well-unital V102()
left_unital V115()
V116()
V117() )
L11()) )
V108(
GF : ( ( non
empty non
degenerated V68()
V88()
V94()
V96()
well-unital V102()
V115()
V116()
V117() ) ( non
empty non
degenerated non
trivial V68()
V88()
unital V94()
V96()
right-distributive left-distributive right_unital well-unital V102()
left_unital V115()
V116()
V117() )
L11()) )
V115()
V116()
V117() )
VectSpStr over
GF : ( ( non
empty non
degenerated V68()
V88()
V94()
V96()
well-unital V102()
V115()
V116()
V117() ) ( non
empty non
degenerated non
trivial V68()
V88()
unital V94()
V96()
right-distributive left-distributive right_unital well-unital V102()
left_unital V115()
V116()
V117() )
L11()) ) : ( ( ) ( non
empty )
set )
-valued Function-like quasi_total )
Element of
bool [:[: the carrier of V : ( ( non empty V68() V105(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V106(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V107(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V108(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V115() V116() V117() ) ( non empty V68() V105(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V106(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V107(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V108(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V115() V116() V117() ) VectSpStr over GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) : ( ( ) ( non empty ) set ) , the carrier of V : ( ( non empty V68() V105(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V106(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V107(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V108(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V115() V116() V117() ) ( non empty V68() V105(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V106(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V107(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V108(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V115() V116() V117() ) VectSpStr over GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) : ( ( ) ( non empty ) set ) :] : ( ( ) ( non empty ) set ) , the carrier of V : ( ( non empty V68() V105(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V106(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V107(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V108(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V115() V116() V117() ) ( non empty V68() V105(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V106(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V107(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V108(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V115() V116() V117() ) VectSpStr over GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) : ( ( ) ( non empty ) set ) :] : ( ( ) ( non
empty )
set ) : ( ( ) ( non
empty )
set ) ) , the
ZeroF of
V : ( ( non
empty V68()
V105(
GF : ( ( non
empty non
degenerated V68()
V88()
V94()
V96()
well-unital V102()
V115()
V116()
V117() ) ( non
empty non
degenerated non
trivial V68()
V88()
unital V94()
V96()
right-distributive left-distributive right_unital well-unital V102()
left_unital V115()
V116()
V117() )
L11()) )
V106(
GF : ( ( non
empty non
degenerated V68()
V88()
V94()
V96()
well-unital V102()
V115()
V116()
V117() ) ( non
empty non
degenerated non
trivial V68()
V88()
unital V94()
V96()
right-distributive left-distributive right_unital well-unital V102()
left_unital V115()
V116()
V117() )
L11()) )
V107(
GF : ( ( non
empty non
degenerated V68()
V88()
V94()
V96()
well-unital V102()
V115()
V116()
V117() ) ( non
empty non
degenerated non
trivial V68()
V88()
unital V94()
V96()
right-distributive left-distributive right_unital well-unital V102()
left_unital V115()
V116()
V117() )
L11()) )
V108(
GF : ( ( non
empty non
degenerated V68()
V88()
V94()
V96()
well-unital V102()
V115()
V116()
V117() ) ( non
empty non
degenerated non
trivial V68()
V88()
unital V94()
V96()
right-distributive left-distributive right_unital well-unital V102()
left_unital V115()
V116()
V117() )
L11()) )
V115()
V116()
V117() ) ( non
empty V68()
V105(
GF : ( ( non
empty non
degenerated V68()
V88()
V94()
V96()
well-unital V102()
V115()
V116()
V117() ) ( non
empty non
degenerated non
trivial V68()
V88()
unital V94()
V96()
right-distributive left-distributive right_unital well-unital V102()
left_unital V115()
V116()
V117() )
L11()) )
V106(
GF : ( ( non
empty non
degenerated V68()
V88()
V94()
V96()
well-unital V102()
V115()
V116()
V117() ) ( non
empty non
degenerated non
trivial V68()
V88()
unital V94()
V96()
right-distributive left-distributive right_unital well-unital V102()
left_unital V115()
V116()
V117() )
L11()) )
V107(
GF : ( ( non
empty non
degenerated V68()
V88()
V94()
V96()
well-unital V102()
V115()
V116()
V117() ) ( non
empty non
degenerated non
trivial V68()
V88()
unital V94()
V96()
right-distributive left-distributive right_unital well-unital V102()
left_unital V115()
V116()
V117() )
L11()) )
V108(
GF : ( ( non
empty non
degenerated V68()
V88()
V94()
V96()
well-unital V102()
V115()
V116()
V117() ) ( non
empty non
degenerated non
trivial V68()
V88()
unital V94()
V96()
right-distributive left-distributive right_unital well-unital V102()
left_unital V115()
V116()
V117() )
L11()) )
V115()
V116()
V117() )
VectSpStr over
GF : ( ( non
empty non
degenerated V68()
V88()
V94()
V96()
well-unital V102()
V115()
V116()
V117() ) ( non
empty non
degenerated non
trivial V68()
V88()
unital V94()
V96()
right-distributive left-distributive right_unital well-unital V102()
left_unital V115()
V116()
V117() )
L11()) ) : ( ( ) ( )
Element of the
carrier of
V : ( ( non
empty V68()
V105(
GF : ( ( non
empty non
degenerated V68()
V88()
V94()
V96()
well-unital V102()
V115()
V116()
V117() ) ( non
empty non
degenerated non
trivial V68()
V88()
unital V94()
V96()
right-distributive left-distributive right_unital well-unital V102()
left_unital V115()
V116()
V117() )
L11()) )
V106(
GF : ( ( non
empty non
degenerated V68()
V88()
V94()
V96()
well-unital V102()
V115()
V116()
V117() ) ( non
empty non
degenerated non
trivial V68()
V88()
unital V94()
V96()
right-distributive left-distributive right_unital well-unital V102()
left_unital V115()
V116()
V117() )
L11()) )
V107(
GF : ( ( non
empty non
degenerated V68()
V88()
V94()
V96()
well-unital V102()
V115()
V116()
V117() ) ( non
empty non
degenerated non
trivial V68()
V88()
unital V94()
V96()
right-distributive left-distributive right_unital well-unital V102()
left_unital V115()
V116()
V117() )
L11()) )
V108(
GF : ( ( non
empty non
degenerated V68()
V88()
V94()
V96()
well-unital V102()
V115()
V116()
V117() ) ( non
empty non
degenerated non
trivial V68()
V88()
unital V94()
V96()
right-distributive left-distributive right_unital well-unital V102()
left_unital V115()
V116()
V117() )
L11()) )
V115()
V116()
V117() ) ( non
empty V68()
V105(
GF : ( ( non
empty non
degenerated V68()
V88()
V94()
V96()
well-unital V102()
V115()
V116()
V117() ) ( non
empty non
degenerated non
trivial V68()
V88()
unital V94()
V96()
right-distributive left-distributive right_unital well-unital V102()
left_unital V115()
V116()
V117() )
L11()) )
V106(
GF : ( ( non
empty non
degenerated V68()
V88()
V94()
V96()
well-unital V102()
V115()
V116()
V117() ) ( non
empty non
degenerated non
trivial V68()
V88()
unital V94()
V96()
right-distributive left-distributive right_unital well-unital V102()
left_unital V115()
V116()
V117() )
L11()) )
V107(
GF : ( ( non
empty non
degenerated V68()
V88()
V94()
V96()
well-unital V102()
V115()
V116()
V117() ) ( non
empty non
degenerated non
trivial V68()
V88()
unital V94()
V96()
right-distributive left-distributive right_unital well-unital V102()
left_unital V115()
V116()
V117() )
L11()) )
V108(
GF : ( ( non
empty non
degenerated V68()
V88()
V94()
V96()
well-unital V102()
V115()
V116()
V117() ) ( non
empty non
degenerated non
trivial V68()
V88()
unital V94()
V96()
right-distributive left-distributive right_unital well-unital V102()
left_unital V115()
V116()
V117() )
L11()) )
V115()
V116()
V117() )
VectSpStr over
GF : ( ( non
empty non
degenerated V68()
V88()
V94()
V96()
well-unital V102()
V115()
V116()
V117() ) ( non
empty non
degenerated non
trivial V68()
V88()
unital V94()
V96()
right-distributive left-distributive right_unital well-unital V102()
left_unital V115()
V116()
V117() )
L11()) ) : ( ( ) ( non
empty )
set ) ) , the
lmult of
V : ( ( non
empty V68()
V105(
GF : ( ( non
empty non
degenerated V68()
V88()
V94()
V96()
well-unital V102()
V115()
V116()
V117() ) ( non
empty non
degenerated non
trivial V68()
V88()
unital V94()
V96()
right-distributive left-distributive right_unital well-unital V102()
left_unital V115()
V116()
V117() )
L11()) )
V106(
GF : ( ( non
empty non
degenerated V68()
V88()
V94()
V96()
well-unital V102()
V115()
V116()
V117() ) ( non
empty non
degenerated non
trivial V68()
V88()
unital V94()
V96()
right-distributive left-distributive right_unital well-unital V102()
left_unital V115()
V116()
V117() )
L11()) )
V107(
GF : ( ( non
empty non
degenerated V68()
V88()
V94()
V96()
well-unital V102()
V115()
V116()
V117() ) ( non
empty non
degenerated non
trivial V68()
V88()
unital V94()
V96()
right-distributive left-distributive right_unital well-unital V102()
left_unital V115()
V116()
V117() )
L11()) )
V108(
GF : ( ( non
empty non
degenerated V68()
V88()
V94()
V96()
well-unital V102()
V115()
V116()
V117() ) ( non
empty non
degenerated non
trivial V68()
V88()
unital V94()
V96()
right-distributive left-distributive right_unital well-unital V102()
left_unital V115()
V116()
V117() )
L11()) )
V115()
V116()
V117() ) ( non
empty V68()
V105(
GF : ( ( non
empty non
degenerated V68()
V88()
V94()
V96()
well-unital V102()
V115()
V116()
V117() ) ( non
empty non
degenerated non
trivial V68()
V88()
unital V94()
V96()
right-distributive left-distributive right_unital well-unital V102()
left_unital V115()
V116()
V117() )
L11()) )
V106(
GF : ( ( non
empty non
degenerated V68()
V88()
V94()
V96()
well-unital V102()
V115()
V116()
V117() ) ( non
empty non
degenerated non
trivial V68()
V88()
unital V94()
V96()
right-distributive left-distributive right_unital well-unital V102()
left_unital V115()
V116()
V117() )
L11()) )
V107(
GF : ( ( non
empty non
degenerated V68()
V88()
V94()
V96()
well-unital V102()
V115()
V116()
V117() ) ( non
empty non
degenerated non
trivial V68()
V88()
unital V94()
V96()
right-distributive left-distributive right_unital well-unital V102()
left_unital V115()
V116()
V117() )
L11()) )
V108(
GF : ( ( non
empty non
degenerated V68()
V88()
V94()
V96()
well-unital V102()
V115()
V116()
V117() ) ( non
empty non
degenerated non
trivial V68()
V88()
unital V94()
V96()
right-distributive left-distributive right_unital well-unital V102()
left_unital V115()
V116()
V117() )
L11()) )
V115()
V116()
V117() )
VectSpStr over
GF : ( ( non
empty non
degenerated V68()
V88()
V94()
V96()
well-unital V102()
V115()
V116()
V117() ) ( non
empty non
degenerated non
trivial V68()
V88()
unital V94()
V96()
right-distributive left-distributive right_unital well-unital V102()
left_unital V115()
V116()
V117() )
L11()) ) : ( (
Function-like quasi_total ) (
Relation-like [: the carrier of GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) : ( ( ) ( non empty non trivial ) set ) , the carrier of V : ( ( non empty V68() V105(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V106(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V107(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V108(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V115() V116() V117() ) ( non empty V68() V105(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V106(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V107(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V108(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V115() V116() V117() ) VectSpStr over GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) : ( ( ) ( non empty ) set ) :] : ( ( ) ( non
empty )
set )
-defined the
carrier of
V : ( ( non
empty V68()
V105(
GF : ( ( non
empty non
degenerated V68()
V88()
V94()
V96()
well-unital V102()
V115()
V116()
V117() ) ( non
empty non
degenerated non
trivial V68()
V88()
unital V94()
V96()
right-distributive left-distributive right_unital well-unital V102()
left_unital V115()
V116()
V117() )
L11()) )
V106(
GF : ( ( non
empty non
degenerated V68()
V88()
V94()
V96()
well-unital V102()
V115()
V116()
V117() ) ( non
empty non
degenerated non
trivial V68()
V88()
unital V94()
V96()
right-distributive left-distributive right_unital well-unital V102()
left_unital V115()
V116()
V117() )
L11()) )
V107(
GF : ( ( non
empty non
degenerated V68()
V88()
V94()
V96()
well-unital V102()
V115()
V116()
V117() ) ( non
empty non
degenerated non
trivial V68()
V88()
unital V94()
V96()
right-distributive left-distributive right_unital well-unital V102()
left_unital V115()
V116()
V117() )
L11()) )
V108(
GF : ( ( non
empty non
degenerated V68()
V88()
V94()
V96()
well-unital V102()
V115()
V116()
V117() ) ( non
empty non
degenerated non
trivial V68()
V88()
unital V94()
V96()
right-distributive left-distributive right_unital well-unital V102()
left_unital V115()
V116()
V117() )
L11()) )
V115()
V116()
V117() ) ( non
empty V68()
V105(
GF : ( ( non
empty non
degenerated V68()
V88()
V94()
V96()
well-unital V102()
V115()
V116()
V117() ) ( non
empty non
degenerated non
trivial V68()
V88()
unital V94()
V96()
right-distributive left-distributive right_unital well-unital V102()
left_unital V115()
V116()
V117() )
L11()) )
V106(
GF : ( ( non
empty non
degenerated V68()
V88()
V94()
V96()
well-unital V102()
V115()
V116()
V117() ) ( non
empty non
degenerated non
trivial V68()
V88()
unital V94()
V96()
right-distributive left-distributive right_unital well-unital V102()
left_unital V115()
V116()
V117() )
L11()) )
V107(
GF : ( ( non
empty non
degenerated V68()
V88()
V94()
V96()
well-unital V102()
V115()
V116()
V117() ) ( non
empty non
degenerated non
trivial V68()
V88()
unital V94()
V96()
right-distributive left-distributive right_unital well-unital V102()
left_unital V115()
V116()
V117() )
L11()) )
V108(
GF : ( ( non
empty non
degenerated V68()
V88()
V94()
V96()
well-unital V102()
V115()
V116()
V117() ) ( non
empty non
degenerated non
trivial V68()
V88()
unital V94()
V96()
right-distributive left-distributive right_unital well-unital V102()
left_unital V115()
V116()
V117() )
L11()) )
V115()
V116()
V117() )
VectSpStr over
GF : ( ( non
empty non
degenerated V68()
V88()
V94()
V96()
well-unital V102()
V115()
V116()
V117() ) ( non
empty non
degenerated non
trivial V68()
V88()
unital V94()
V96()
right-distributive left-distributive right_unital well-unital V102()
left_unital V115()
V116()
V117() )
L11()) ) : ( ( ) ( non
empty )
set )
-valued Function-like quasi_total )
Element of
bool [:[: the carrier of GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) : ( ( ) ( non empty non trivial ) set ) , the carrier of V : ( ( non empty V68() V105(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V106(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V107(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V108(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V115() V116() V117() ) ( non empty V68() V105(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V106(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V107(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V108(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V115() V116() V117() ) VectSpStr over GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) : ( ( ) ( non empty ) set ) :] : ( ( ) ( non empty ) set ) , the carrier of V : ( ( non empty V68() V105(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V106(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V107(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V108(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V115() V116() V117() ) ( non empty V68() V105(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V106(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V107(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V108(GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) V115() V116() V117() ) VectSpStr over GF : ( ( non empty non degenerated V68() V88() V94() V96() well-unital V102() V115() V116() V117() ) ( non empty non degenerated non trivial V68() V88() unital V94() V96() right-distributive left-distributive right_unital well-unital V102() left_unital V115() V116() V117() ) L11()) ) : ( ( ) ( non empty ) set ) :] : ( ( ) ( non
empty )
set ) : ( ( ) ( non
empty )
set ) ) #) : ( (
strict ) ( non
empty strict )
VectSpStr over
GF : ( ( non
empty non
degenerated V68()
V88()
V94()
V96()
well-unital V102()
V115()
V116()
V117() ) ( non
empty non
degenerated non
trivial V68()
V88()
unital V94()
V96()
right-distributive left-distributive right_unital well-unital V102()
left_unital V115()
V116()
V117() )
L11()) ) );
end;