Eine Relation zwischen zwei Mengen un heißt
linkstotal, wenn gilt: