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