El conjunto vacío (considerado como un conjunto ordenado) es el objeto inicial de Ord; cualquier singleton es un objeto terminal.