\{f\in X\,:\,f(n_1)=v_1\,\land\,\cdots\,\land\,f(n_k)=v_k\}