Statement:
For all sets \(x\) and \(y\), if \(x\) can be linearly ordered and there is a mapping of \(x\) onto \(y\), then \(y\) can be linearly ordered.
Howard_Rubin_Number: 293
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:
Book references
Note connections: