Drzewa binarne z operacja +

[Szalony_Ryszard]

Rozważmy rodzinę drzew binarnych z operacją + określoną dla dowolnych drzew D’ i D” następująco: D’ + D” = D wttw, gdy D’ jest lewym, a D” prawym poddrzewem drzewa D. Wskaż przykład relacji kongruencji w tak określonej algebrze (identyczność nie jest dobrze widziana). Podaj jej klasy abstrakcji i określ odpowiadającą operację w systemie ilorazowym.