:: deftheorem defines -multiCat FOMODEL0:def 12 :
for D being non empty set holds D -multiCat = ({} .--> {}) +* (MultPlace (D -concatenation));