[12G]Prerequisites:[124]βΊβ».
Moreover, the erosion satisfies (AβB)βC=Aβ(BβC).
[12H]βΊβ»