Left total

From testwiki
Revision as of 12:03, 6 April 2024 by imported>Winthrop23 (if we're going to do this kind of formal logic def we at least need to define the symbols before we use them)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

English

Alternative forms

Adjective

Template:En-adj

  1. Template:Lb Such that every element of the domain is related to at least one element of the codomain: such that aAbB:(a,b)R
    Template:Syn
    Template:Coord

Translations

Template:Trans-top

Template:Trans-bottom

Trivia

  • If every element occurs exactly once, the relation is a function.