Aldoni tradukojn al ReVo:

seminorm/o PIV2

seminormo  

serĉi 'seminormo'
[semino.0o]
MAT(evitinde)
Duonnormo: formante restoklasojn oni povas derivi normon el ĉiu seminormo.

administraj notoj

~o: Mankas dua fontindiko.
~o: Mankas fonto, kiu estas nek vortaro nek terminaro.