On relative universality, regression operator, and conditional independence