Pokračování důkazů indukcí. Ukázky a procvičení induktivních definic a důkazů pro ně - tzv. "strukturální indukce".

(Cvičení na vlastnosti relací se tímto o jedno opozdí vůči přednáškovému týdnu...)