Separable Banach Space Definition