Тривиально упорядоченное множество