State vector spaces etc. by Nagy