Real algebraic set

Summary