Category:Subset equals Image of Preimage implies Surjection