right-uniqueness (Q1416)

From MaRDI portal
property of binary relations
  • right uniqueness
  • right-unique property
  • property of right-uniqueness
  • right unique property
  • property of right uniqueness
  • functional property
  • univalent property
  • univalence
Language Label Description Also known as
English
right-uniqueness
property of binary relations
  • right uniqueness
  • right-unique property
  • property of right-uniqueness
  • right unique property
  • property of right uniqueness
  • functional property
  • univalent property
  • univalence

Statements

Q54933381
0 references