V prosojnicah je relacija r pojasnjena kot :
• omejevalna ali lokalizator, ce velja: Min(r,Q) podmnožica ali enaka
r(Min(r, P))
• izbiralna ali selektor, ce velja: r(Min(r, P)) podmnožica ali
*_enaka _*Min( r,Q)
• prevajalna ali translator, ce velja: (Min(r, P)) *=* Min( r ,Q).
Glede na podane enakost tako pri lokalizatorju in translatorju kot
selektorju, me zanima ali je tu morda napaka in nekje enakost ne velja
oz. ali je relacija r lahko hkrati tako selektor, translator kot
lokalizator?
p.s.
omenjena snov je s prosojnic Podobne in enakovredne naloge, 3 stran
(http://vlado.fmf.uni-lj.si/vlado/optim/opt02.pdf).
