is_complete_image_iff
A set is complete iff its image under a uniform embedding is complete.