Nuprl Definition : compat
l1 || l2 == l1 ≤ l2 ∨ l2 ≤ l1
Definitions occuring in Statement :
iseg: l1 ≤ l2,
or: P ∨ Q
Definitions occuring in definition :
or: P ∨ Q,
iseg: l1 ≤ l2
FDL editor aliases :
compat
Latex:
l1 || l2 == l1 \mleq{} l2 \mvee{} l2 \mleq{} l1
Date html generated:
2016_05_14-PM-01_34_32
Last ObjectModification:
2015_09_22-PM-05_54_20
Theory : list_1
Home
Index