Dotaz na tranzitivní uzávěr (5)

• 5. Důkaz lemmatu - indukcí dle počtu operátorů v E

• I. operátorů E Rs nebo E je relační konstanta stupně 1

• E b1,b2 | b2b1 + 1resp.

• E b1 | b1 = c1 b1c2b1 = cm

• II. a) E E1 E2, E1-E2, E1  E2

• E1b1,...,bk | (b1,...,bk)

• E2 b1,...,bm | 2(b1,...,bm)

• pro a - je k=m a tedy