Nuprl Definition : separated-partitions
separated-partitions(P;Q) == frs-increasing(P) ∧ frs-increasing(Q) ∧ frs-separated(P;Q)
Definitions occuring in Statement :
frs-separated: frs-separated(p;q),
frs-increasing: frs-increasing(p),
and: P ∧ Q
Definitions occuring in definition :
and: P ∧ Q,
frs-increasing: frs-increasing(p),
frs-separated: frs-separated(p;q)
FDL editor aliases :
separated-partitions
separated-partitions
Latex:
separated-partitions(P;Q) == frs-increasing(P) \mwedge{} frs-increasing(Q) \mwedge{} frs-separated(P;Q)
Date html generated:
2016_05_18-AM-09_27_40
Last ObjectModification:
2015_09_23-AM-09_11_10
Theory : reals
Home
Index