f:A doesn't have any sets.