background image

can be continued till the function

f

for a unique staroid

f

of the form

i

2

n

:

P

(

A

i

)

. The funcoid

f

is completary.

For every

X 2

Q

i

2

n

F

(

A

i

)

X 2

GR

f

,

\

Y

i

2

n

atoms

X

i

=

/

;

:

(17.5)

Conjecture 17.254.

Let

R

be a set of staroids of the form

i

2

n

:

F

(

A

i

)

where every

A

i

is a

boolean lattice. If

x

2

Q

i

2

n

atoms

F

(

A

i

)

then

x

2

GR

d

R

, 8

f

2

R

:

x

2

f

.

17.18.1 Informal questions

Do products of funcoids and reloids coincide with Tychonov topology?

Limit and generalized limit for multiple arguments.
Is product of connected spaces connected?
Product of

T

0

-separable is

T

0

, of

T

1

is

T

1

?

Relationships between multireloids and staroids.
Generalize the section Specifying funcoids by functions or relations on atomic lters from [

28

].

Generalize Relationships between funcoids and reloids.
Explicitly describe the set of complemented funcoids.

240

Multifuncoids and staroids