inductive chain

1. Definition

Sei \((M,\leq)\) eine halbgeordnete Menge und \(K \subseteq M\) eine Kette. Dann ist \(K\) induktiv, falls eine obere Schranke \(m \in M\) existiert mit \(m \geq k\) für \(k \in K\)

Date: nil

Author: Anton Zakrewski

Created: 2024-10-11 Fr 22:00