We study the explicit calculation of the set of superhedging portfolios of contingent claims in a discrete-time market model for d assets with proportional transaction costs. The set of superhedging portfolios can be obtained by a recursive construction involving set operations, going backward...