Nuprl Definition : partial

partial(T) == x,y:base-partial(T)//per-partial(T;x;y)

Definitions occuring in Statement : per-partial: per-partial(T;x;y), base-partial: base-partial(T), quotient: x,y:A//B[x; y]
Definitions occuring in definition : quotient: x,y:A//B[x; y], base-partial: base-partial(T), per-partial: per-partial(T;x;y)
FDL editor aliases : partial

Latex:
partial(T) == x,y:base-partial(T)//per-partial(T;x;y) Date html generated: 2016_05_14-AM-06_09_24 Last ObjectModification: 2015_09_22-PM-05_46_14 Theory : partial_1 Home Index