ist das eine domain?

[Jürgen]

Hallo!

ist "http://www.abc.de:80" von der Bezeichnung her eine Domain? Oder wie sagt man dazu?

Euer Jürgen