Transferable conditions from metric linear space to F-normed and seminormed linear spaces

• 距离线性空间成为赋准范、赋拟范线性空间的条件