Functio superiectiva
Functio superiectiva est functio  cui proprietas sequens est: per eam, omnia elementa copiae B minime singulis elementis copiae A attribuuntur (igitur cuique elemento e copia B minime unum elementum ex A est). Exactius: 

 vel .
 
Biiectivae casus specialis functionum superiectivarum sunt, nam hae et superiectivae et iniectivae sunt.

Aliquot exempla

Functiones lineares
Omnes functiones lineares , praeter constantes, non solum superiectivae, sed etiam biiectivae sunt.

Si autem A vel B copiam numerorum realium non aequant, functio linearis, si tum vero functio est, semper iniectiva neque semper superiectiva est. Exempli gratia,  non superiectiva est (quod sunt numeri naturales quorum dimidium non numerus naturalis est), sed iniectiva (quod monotoniae functionis causa omnes numeri naturales maxime uni argumento functionis sunt).

Functiones quadraticae 
Functio quadratica biiectiva esse potest, sed sunt etiam tales functiones ne superiectivae quidem.

Exempli gratia, functio  biiectiva est casu , superiectiva casu , neutra si . Hoc exemplo demonstrari potest functiones aequalis aequationis non semper ipsas aequales esse, quod etiam a copiis A et B constituuntur.

Exemplum non mathematicum 
Functio f omni homini patrem eius attribuat. A copia omnium hominum, B ea omnium hominum masculinorum, quibus minime unus infans est, sit. Quod omnis homo copiae B minime uni homini copiae A est (B solum patres continet), functio data superiectiva neque biiectiva est.

 Functio biiectiva
 Functio iniectiva
 Relatio aequivalentiae

Mathematica