P4 Domain of a Function