surjective relation Deductions surjective relation is opposite of serial relation ⇐ serial relation is opposite of surjective relation