Nuprl Definition : circle-strict-overlap

StrictOverlap(a;b;c;d) ==  ↓∃p,q:Point. ((ab ≅ ap ∧ cd>cp) ∧ cd ≅ cq ∧ ab>aq)


Definitions occuring in Statement :  geo-congruent: ab ≅ cd,  geo-gt-prim: ab>cd,  geo-point: Point,  exists: ∃x:A. B[x],  squash: ↓T,  and: P ∧ Q
FDL editor aliases :  circle-strict-overlap
Latex:
StrictOverlap(a;b;c;d)  ==    \mdownarrow{}\mexists{}p,q:Point.  ((ab  \mcong{}  ap  \mwedge{}  cd>cp)  \mwedge{}  cd  \mcong{}  cq  \mwedge{}  ab>aq)


Date html generated: 2020_05_20-AM-09_42_21
Last ObjectModification: 2019_11_13-PM-01_28_48

Theory : euclidean!plane!geometry


Home Index