Surjective / Injective Relation (関係の全射性・単射性) (Definition I.1.5)

• Surjective / Injective Relation (関係の全射性・単射性) (Definition I.1.5) #Card
  • 関係に対する全射・単射の拡張。

Back

関係 $R \subset V \times W$ について:

• 全射 (Surjective): $RV = W$。
• 単射 (Injective): $Rv_0 \cap Rv_1 \neq \emptyset \implies v_0 = v_1$。

Lean

本ノート RoyalRoad.ChapterI.RelSurjective / RelInjective