Tarski-finite
1. Definition
A set \(S\) is called tarski finite, if every nonempty family of subsets has a minimal element or a maximal element with respect to Inklusion
A set \(S\) is called tarski finite, if every nonempty family of subsets has a minimal element or a maximal element with respect to Inklusion
Date: nil
Created: 2024-10-13 So 15:58