Statement:
\(H(C,TR)\): If \((X,R)\) is a connected relation (\(u\neq v\rightarrow u\mathrel R v\) or \(v\mathrel R u\)) then \(X\) contains a \(\subseteq\)-maximal transitive subset.
Howard_Rubin_Number: 143
Parameter(s): This form does not depend on parameters
This form's transferability is: Unknown
This form's negation transferability is: Negation Transferable
Article Citations:
Harper-Rubin-1976: Variations of Zorn's lemma, principles of cofinality, and Hausdorff's maximal principle, Part I and II
Book references
Note connections:
Note 39
In this note the results
of Harper/Rubin [1976] are summarized.