MDLD/subsequence (R)

Start=subsequence (R) Target=Real numbers/Subsequence/Definition