Cardinal multiplication