Jason (jcreed) wrote,

Requesting input from the lj math brigade:

I have a poset P and a monotone function f from P to P. This function has the following special property:
if x ≥ f(y), there exists a y' ≥ y such that x = f(y')

The question is: is there a well-known name for this property, or a property that is closely related to this? It feels like some sort of 'connectivity' or 'continuity' or 'convexity' of the function to me. If one could hack up a topology out of the poset so that this is actually one of those concepts, that would be great.
Tags: math, work

  • Post a new comment


    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded