я уже этот экзамен ненавижу!
транзитивность, рефлексивность, квазипорядок, эквивалентность, толерантность, антисимметричность, строгий слабый порядок...
рядом с множествами и отношениями я дурею...
Факторизация строгого порядка Ps по соответствующему отношению безразличия Ps/Bs дает отношение слабо связного строгого слабого порядка на фактор-множестве S/Bs.
вы думаете, это я придумала? нифига! так в конспекте написано...
вот еще один образчик:
Отметим, что в случае представления нестрогого предпочтения нестрогим упорядочением или нестрогим слабым порядком, его структура полностью определяется структурой строгого упорядочения или строгого слабого порядка соответственно, т.е. на основе информации о строгом предпочтении строится отношение строгого предпочтения, полностью определяющее структуру соответствующего нестрогого предпочтения.
и вот в таком стиле 110 страниц... я - как раз на 50ой...