Processing math: 100%
Injective function
Set
context
X
,
Y
definiendum
f
∈
I
n
j
e
c
t
i
v
e
(
X
,
Y
)
context
f
:
X
→
Y
postulate
f
(
x
)
=
f
(
y
)
⟹
x
=
y
Discussion
Parents
Context
Function