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

[hildisvini]

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

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

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

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

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

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

Comments

[http://users.livejournal.com/_svet_lana_/]

В L будут те, которые в U но не в U^-1

[http://users.livejournal.com/_svet_lana_/]

хотя наверно нет тех которые стоят друг на друге взаимно.... запуталась я :-)