11.5.16.
❘p        ❘(a,a)
Es giebt eben auch opera-
tionen mit zwei Basen. und die ‘ ∣ ’-Operation ist von dieser Art.