Dirac sea,  hole theory,  semi-infinite wedge product