https://9dok.net/document/y8g28p84-connection-seminorms-proposition-seminorm-following-conditions-equivalent-semiball.html