Metadata
Author: Literature
Data
English[en]
A total order on X is a partial order satisfying the connectedness requirement: (Ex)(Ey)(Rxy 7 Ryx).
Spanish[es]
Un orden total sobre X es un orden parcial que satisface el requisito de totalidad: (∀x) (∀y) (Rxy V Ryx).