background image

17.18. CONJECTURES

281

Conjecture

1451

.

For every

X ∈

Q

i

n

F

(

A

i

)

X ∈

GR

f

δ

Y

i

n

atoms

X

i

6

=

.

(28)

Conjecture

1452

.

Let

R

be a set of staroids of the form

λi

n

:

F

(

A

i

) where

every

A

i

is a boolean lattice. If

x

Q

i

n

atoms

F

(

A

i

)

then

x

GR

d

R

⇔ ∀

f

R

:

x

f

.

17.18.1. Informal questions.

Do products of funcoids and reloids coincide

with Tychonoff 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

filters” from [

28

].

Generalize “Relationships between funcoids and reloids”.

Explicitly describe the set of complemented funcoids.