background image

Proof.

We need to prove that

L

Y

Z

| ∃

s

: (

s

is a solution

s

|

Z

=

L

)

 

is a relation on the set

Q

λv

Z

:

T

([

v

])

that is on the set

Q

v

Z

T

([

v

])

. It follows from the fact

that

L

Q

v

Z

T

([

v

])

for every

L

Q

Z

that is

L

v

T

([

v

])

that is

s

[

v

]

T

([

v

])

what follows from

the definition of proposed solution.

3 Other examples of circuitoids

Other examples of circuitoids are

circuitoid of funcoids

and

circuitoid of reloids

.

Some of these are present in the following draft (which is incomplete as of now):
http://www.mathematics21.org/binaries/nary.pdf

Other examples of circuitoids

3