w teorii mnogości: równoliczność ze zbiorem liczb naturalnych