Este funtor es fiel, y por lo tanto Ord es una categoría concreta.