Where is `width` defined?

I didn't mention already in class but width is defined in general in Observable, but of course you can overwrite it.