A .--> B = {A} --> B ;
hence A .--> B is ManySortedSet of {A} ; :: thesis: verum