That's true, but that is an implementation detail. In abstract terms, you can think of an inner join like that.

Also, while what you say is true in general for modern DB's, there are some implementations like old Oracle versions where the only way to create the effect of an inner join was in terms of a Cartesian product.