Determining whether a transformation is onto