Sigui un conjunt totalment ordenat. Llavors, és ínfim d' si i només si: és el màxim del conjunt de fites inferiors d'. Categoria:Axiomes Categoria:Topologia Categoria:Àlgebra abstracta
Sigui un conjunt totalment ordenat. Llavors, és ínfim d' si i només si: és el màxim del conjunt de fites inferiors d'. Categoria:Axiomes Categoria:Topologia Categoria:Àlgebra abstracta