ficystodraunju

valsi

ficystodraunju

type

lujvo

creator

krtisfranks

time entered

Mon Apr 2 21:12:14 2018  

English

Definition #70588 - Preferred

 

definition

x₁ is an injective function (distinctness-preserving function) from x₂ (domain) to x₃ (codomain).

notes

This is a brapagjvo (one of its veljvo is the zi'evla "stodraunju"). Let f be the sumti which fills x₁; for any y and z in x₂, y =/= z iff f (y) =/= f (z).

gloss words

• 1-to-1 function
• distinction-preserving function
• injection ; dstinction-preserving function
• injective function
• one-to-one function

created by

krtisfranks

vote information

2

time

Mon Apr 2 21:13:48 2018

Examples

---