edited my earlier post to clarify a bit.
so lets say that for some function f:P_3 -> {1,2,3,4}, f( {1,2} )= 2 and f( {2,3} )=3 and f( {2} )=4. Then this function is NOT counted because it doesn't satisfy the condition.
We want to know how many functions from P_3 to {1,2,3,4} DO satisfy the condition.
As an example, here are some easier questions:
how many quadratic functions f:R->R? infinite
how many quadratic functions f:R->R with zeroes at x=3 and x=5? infinite
how many quadratic functions f:R->R with zeroes at x=3 and x=5 and coefficient of x^2 is 1? one
how many functions are there f: {1,2,3} -> {1,2,3}? what about {1,2,....n} ->{1,2,.....,m}?
what about the number of functions from P_n to {1,2,...,m}?
...
...
what about the number of functions from P_n to {1,2,....,m} with the property that f(A int B) = min{fA,fB}?