Nuprl Definition : imagetype

imagetype(A;f) == pertype(image-per(A;f))

Definitions occuring in Statement : image-per: image-per(A;f), pertype: pertype(R)
Definitions occuring in definition : pertype: pertype(R), image-per: image-per(A;f)
FDL editor aliases : imagetype

Latex:
imagetype(A;f) == pertype(image-per(A;f)) Date html generated: 2019_06_20-PM-02_02_40 Last ObjectModification: 2018_08_30-PM-06_03_54 Theory : relations2 Home Index