Random Walk Definition

[joebloodworth]

I'm looking to formally define a random walk and the related notation. Is this a correct definition? How would you recommend improving this definition, is anything unclear or not making sense mathematically?

Thank you in advance!