مثبطات في الدالة إليه والتطبيق لتعويم الوحل الفحم
يأ في ةفلتمخ ًاروص لكل نأ x 1,x 2 A نإف x 1 z x 2 f (x 1) z f (x 2) وأ f (x 1) f (x 2) x 1 x 2 onto function ( surjective function ) ةيقوفلا ةلادلا :فيرعت ةلادلا f:AoB يأ رصانع دحلأ ةروص وه في رصنع لك ناك اذإ )ةلماش( ةيقوف ةلاد ىمس ت