Id preserves isSet.
Nat is a set.