with respect to a function, a subset of the domain, within whose finite subsets the function is constant