background image

T

0

-,

T

1

- and

T

2

-separable funcoids

A funcoid

f

is

T

1

-separable

when

α

Src

f , β

Dst

f

: (

α

β

⇒ ¬

(

{

α

}

[

f

]

{

β

}

))

.

An endofuncoid (a funcoid with the same source and desti-
nation) is:

1.

T

0

-separable when

f

f

1

is

T

1

-separable.

2.

T

2

-separable when

f

1

f

is

T

1

-separable.

28