for a being set holds (*--> a) . 0 = {}