Szpilrajn Extension Theorem

Peter Zeller

27 July 2019

Abstract

We formalize the Szpilrajn extension theorem, also known as order-extension principal: Every strict partial order can be extended to a strict linear order.
BSD License

Used by

Topics

Theories