Suriekcja. Wiktor: Wykaż, że aby funkcja f: Y→X była suriekcją potrzeba i wystarcza, aby przeciwobraz każdego jedno−elementowego podzbioru Y był niepusty. Czy ktoś mógłby mi zasugerować jak takie zadanie zrobić? Tzn. znam def. przeciwobrazu, ale mam problem z ułożeniem dowodu formalnie.