Да, такое возможно. Например, пусть A = {1, 2, 3} и B = {4, 5, 6}. В этом случае A не равно B, так как элементы A и B различны, однако, |A| = |B|, так как обе множества содержат по три элемента.