Relation/Linkseindeutig/Definition

Linkseindeutige Relation

Eine Relation heißt linkseindeutig, wenn es zu jedem maximal ein mit gibt.