完備半順序
↑ Tarski, Alfred: Bizonyítás és igazság / Válogatott tanulmányok. Gondolat, Budapest, 1990. (Title means: Proof and truth / Selected papers.)
↑ Stanley N. Burris and H.P. Sankappanavar: A Course in Universal Algebra
↑ See online in p. 24 exercises 5–6 of §5 in BurSan:UnivAlg. Or, on paper, see Tar:BizIg.
↑ Barendregt, Henk, The lambda calculus, its syntax and semantics Archived 2004年8月23日, at the Wayback Machine., North-Holland (1984)
↑ See Knaster–Tarski theorem; The foundations of program verification, 2nd edition, Jacques Loeckx and Kurt Sieber, John Wiley & Sons, ISBN 0-471-91282-4, Chapter 4; the Knaster-Tarski theorem, formulated over cpo's, is given to prove as exercise 4.3-5 on page 90.