математики, ау :)

[hildisvini]

кто поможет девочке-двоечнице сделать уроки? :)

имееццо множество бюрошной мебели М = {стол, стул, подоконник, телефон, принтер}, при этом телефон стоит на столе, принтер на подоконнике, а стул стоит просто так :)

имееццо Relation U = {(телефон, стол), (принтер, подоконник)}, где описывается, что на чем стоит.
из этого еще можно наделать Relation'ов типа U^-1 = {(стол, телефон), (подоконник, принтер)}, т. е. определения и значения меняются местами; а также комплементарная Relation U', которая дополняет собсно U до kartesischer Produkt (забыла, как это по-русски :))

задание (точнее, часть его) - вывести при помощи имеющихся Relation'ов такой Relation L, который бы описывал, что на что "давит", т. е. если убрать нижний предмет, то верхний наебнеццо.

у меня есть странное чувство, что L будет эквивалентно U, но а) боюсь показаться полной дурой, которая не в состоянии раскрыть тему ебли Relation'ов; б) боюсь недобрать пунктов; в) боюсь пропустить чей-то важное.

у кого-нить есть идеи?

Comments

Re: Пасиб, спаситель прекрасных двоешниц :)

[braindancer.livejournal.com]

Что пары не могут пересекаться - там не указано :)

Да, я это и имел. :) Только понятие транзитивности мной давно забыто... *устыдился*

Re: Пасиб, спаситель прекрасных двоешниц :)

[hildisvini.livejournal.com]

явно не указано, просто пример дурацкий немного... у мну так и получаеццо, что ничего не стоит "стопкой" - максимум 2 предмета в Relation задействованы одновременно, поэтому транзитивности явной нет.
а понятие/термин у мну просто на слуху очень - лингвистика ведь :)