Арифметикалык типти катынастар:

Сандарды салыстыру
Сандардын реттелуи
Иерархиялык катынас
Предикатты катынастар
Функционалдык тауелдилик
Белгили бир жиынга тиистилик
Символдык типти акпаратты реттеу
Элементтердин эквиваленттилик катынасы

К сожалению, у нас пока нет статистики ответов на данный вопрос, но мы работаем над этим.