Formally, consider an adapted sequence  on a probability space . is an MDS if it satisfies the following two conditions:
In a formal sense, take into account an adapted sequence  on a probability space , and it is considered an MDS if it meets the following two requirements: