See last post.
I could not easily locate the parameter when I went the w3c website (and I quit trying to find it fairly quickly too). So, how do the folks at Mozilla know that they need to add this parameter to be available to programmers? I went to their website which is chock-full of excellent documentation to see if I could find information about top. Sure enough, I was able to find that window.top is documented.
window.top - Returns a reference to the topmost window in the window hierarchy.
That's quite useful.(Note: the code snippet that I found was simply "top.location.host". Why did I look up "window.top" first? Since "top" had not been defined in the scope of the current function, I assumed that the variable is available to the global object. The global object in the browser context is called "window".)
The documentation also states that this property is "DOM Level 0. Not part of any standard." Maybe that's why I didn't find it in the W3C standard? What does "DOM Level 0" mean? DOM Level 0 is sometimes referred to as the Legacy DOM according to wikipedia.
[L]imited facilities for detecting user-generated events and modifying the HTML document in the first generation of [JavaScript / JScript]
So, what is considered "Legacy DOM"? I looked here, but became concerned when I did not find a "top" property or a "window" property. So, I looked in my copy of JavaScript: The Definitive Guide (I've got the 3rd Edition which should date me, I suppose.) and got the same list. That is when I realized that I was looking in the DOM chapter and not the chapter on the Window object.
So, the answer to my initial question is that top is defined by the JavaScript language. Not the W3C DOM spec. Look in the JavaScript Reference!