Nuprl Definition : icompact

icompact(I) ==  i-nonvoid(I) ∧ i-closed(I) ∧ i-finite(I)


Definitions occuring in Statement :  i-nonvoid: i-nonvoid(I),  i-closed: i-closed(I),  i-finite: i-finite(I),  and: P ∧ Q
Definitions occuring in definition :  i-nonvoid: i-nonvoid(I),  and: P ∧ Q,  i-closed: i-closed(I),  i-finite: i-finite(I)
FDL editor aliases :  icompact icompact
Latex:
icompact(I)  ==    i-nonvoid(I)  \mwedge{}  i-closed(I)  \mwedge{}  i-finite(I)


Date html generated: 2016_05_18-AM-08_45_19
Last ObjectModification: 2015_09_23-AM-09_07_52

Theory : reals


Home Index