Axiomatic treatment of bases in arbitrary sets