Notes on banach function spaces, I