Nuprl Definition : injective-quotient
T//x.f[x] == x,y:T//(f[x] = f[y] ∈ S)
Definitions occuring in Statement :
quotient: x,y:A//B[x; y],
equal: s = t ∈ T
Definitions occuring in definition :
equal: s = t ∈ T,
quotient: x,y:A//B[x; y]
FDL editor aliases :
injective-quotient
Latex:
T//x.f[x] == x,y:T//(f[x] = f[y])
Date html generated:
2016_10_21-AM-09_43_52
Last ObjectModification:
2016_08_08-PM-05_02_34
Theory : quot_1
Home
Index