background image

Values of a join or meet of funcoids

For every

R

P

FCD

(

A

;

B

)

and

X

P

A

,

Y

P

B

1.

X

[

F

R

]

Y

⇔ ∃

f

R

:

X

[

f

]

Y

;

2.

h

F

R

i

X

=

F

{h

f

i

X

|

f

R

}

.

For every

R

P

FCD

(

A

;

B

)

and

x

,

y

being ultrafilters on

A

and

B

correspondingly we have:

1.

x

[

d

R

]

y

⇔ ∀

f

R

:

x

[

f

]

y

;

2.

h

d

R

i

x

=

T

{h

f

i

x

|

f

R

}

.

24