Un patrulater Saccheri ABCD este definit prin următoarele proprietăţi:
I) ∠ B {\displaystyle \angle B \!} şi ∠ C {\displaystyle \angle C \!} sunt unghiuri drepte;
II) | A B | ≡ | C D | ; {\displaystyle |AB| \equiv |CD|; \!}
III) A şi D sunt de aceeaşi parte a lui BC.