A poset (i.e., partially ordered set) P is called A-inductive iff every nonempty well ordered subset W of P has a supremum (i.e., least upper bound) wich need not be an element of W.
© 2008-2024 Fundación Dialnet · Todos los derechos reservados
Coordinado por: