background image

Conditions for a generalized limit

Let

µ

and

ν

be funcoids on a set

, and

G

be a group of

functions.
Let

D

be a set such that

r

G

:

im

r

D

∧ ∀

x, y

D

r

G

:

r

(

x

) =

y.

We require that

µ

and every

r

G

commute, that is

µ

r

=

r

µ

(for

r

considered as a principal funcoid).

We require for every

y

ν

⊒ h

ν

i

{

y

} ×

FCD

h

ν

i

{

y

}

.

50