Statement:
Transitivity Condition: For all sets \(x\), there is a set \(u\) and a function \(f\) such that \(u\) is transitive and \(f\) is a one to one function from \(x\) onto \(u\).
Howard_Rubin_Number: 175
Parameter(s): This form does not depend on parameters
This form's transferability is: Unknown
This form's negation transferability is: Unknown
Article Citations:
von-Rimscha-1982: Transitivitätsbedingungen (Transitivity conditions),
Book references
Note connections: