Definition:Open Set in Normed Vector Space