harimo gupima no kurasa ikintu kiri kure the tensor product can also be defined without appealing to the metric space completion they are lacking the very necessities of life