Sei M eine Menge, dann ist die Potenzmenge P(M) bezüglich der Teilmengenrelation halbgeordnet.
Sei A⊆M, so gilt A⊆A
Seien A,B⊆M, so folgt aus A⊆B und B⊆A auch A=B
Seien A⊆B⊆C⊆X, dann folgt auch A⊆C
Date: nil
Author: Anton Zakrewski
Created: 2024-10-11 Fr 22:14