Nuprl Definition : nary-rel
n-aryRel(T) == (ℕn ⟶ T) ⟶ ℙ
Definitions occuring in Statement :
int_seg: {i..j-},
prop: ℙ,
function: x:A ⟶ B[x],
natural_number: $n
Definitions occuring in definition :
function: x:A ⟶ B[x],
int_seg: {i..j-},
natural_number: $n,
prop: ℙ
FDL editor aliases :
nary-rel
Latex:
n-aryRel(T) == (\mBbbN{}n {}\mrightarrow{} T) {}\mrightarrow{} \mBbbP{}
Date html generated:
2016_05_14-PM-04_07_16
Last ObjectModification:
2015_09_22-PM-06_02_06
Theory : fan-theorem
Home
Index