A set theoretical approach for configuration processing · Study