Who owns Redmi, the smartphone brand?

Redmi is a budget phone line owned by Xiaomi, a Chinese electronics company.

• Option 1: Xiaomi, the parent company of Redmi
• Option 2: Other companies that own Redmi
• Option 3: Redmi is an independent company
• Option 4: Xiaomi does not own any other brands besides Redmi