Главный идеал (отношение порядка)