Definition:Distributand