> Is it consistent with $ZF$ to have a set $S$ and a function $F: P(S) \to S$ such that: $\forall X,Y \in P(S): X \subsetneq Y \implies F(X) \neq F(Y)$