Source: https://math.unice.fr/~walter/L1_Info/Cours_rang.pdf