[CST-2] T in C

[Shu Yan Chan]

> Could someone give me a concise definition of:

I will give it a try:


x is a fixed point for a function f(x) if f(x) = x  (or the sets are of
equal size)

x is a pre fixed point for a function f(x) if  f(x) is a subset of x
x is a post fixed point for a function f(x) if  x is a subset of f(x)


> A fixed point?
>
> A least fixed point?
>
> A most fixed point?
>
>
> I always kind of understood what he was on about, but I found I couldn't
> neatly define those terms without just rephrasing the equations for them
as
> used in Tarski's theorem.
>
> Regards,
> Adam
>
>
>
> _______________________________________________
> CST-2 mailing list
> CST-2@srcf.ucam.org
> http://www.srcf.ucam.org/mailman/listinfo/cst-2
>
>