What is the meaning of "algebraic construction", and how could this be used in algebraic geometry I try to make my question clear:
When reading a paper or listening a seminar talk, people showed me some set, and claim it to be a scheme; or some map, and claim it to be a morphism. I query why this is the case, and the answer sometimes goes as following : because every construction is algebraic, the result should be algebraic. 
I don't know if this can be deemed as a proof or something easy to be checked (I am certainly a novice in AG) or a principle like Lefschetz principle. I do find a list of constructions called algebraic construction from Wikipedia. However I do not have any idea of how it is defined, and how to use them in the proof.
If you have heard similar explanation as I did, I hope you could understand my puzzle; and if you have use the similar explanation, I hope you could elaborate a little bit what does this exactly mean.
 A: My naive point of view is: One avoids the use of ODEs or integrals (e.g., disguised as using the exponential mapping for Lie groups, ahem, algebraic groups) which quickly leads outside of the realm of polynomials and rational functions. 
A: I think that there is no real perfect answer to your question.
Here is a simple example, that I often say in talks, I hope it can give an idea of what people mean when saying that a construction is algebraic.
Given any smooth cubic $C$ in the projective plane, and a point $p\in C$, I can define a birational map of the projective plane. A general line passing through $p$ is invariant and the restriction of the map to the line is the unique involution which fixes the two points of $C$ lying on the line which are distinct from the point $p$.
For the beginner, it is not clear that the map is really birational, but as soon as you deal with such constructions, you understand that if you give explicitly the point and the curve, then you can write the map with polynomials.
To see this, you can say that given a point in the plane, the equation of the line, of the points of intersections, and then of the image depend "algebraically" from the point. Hence the map is rational and does not involve for instance square roots or anything else.
A: I think I understand what you are asking. When one first learns about schemes, it is often very hard to link the language of schemes and the geometry. Suppose you are sitting in a seminar, and the speaker comments:


We are going to consider the Segre embedding $ \mathbb{P}^1 \times \mathbb{P}^1 \to \mathbb{P}^3 $ which is given by the formula $ ([x_0,x_1],[y_0,y_1]) \mapsto [x_0y_0,x_0y_1,x_1y_0,x_1y_1] $


this paints a very vivid picture. Indeed, if you are thinking about just sets and functions, everything is golden and this makes perfect sense. Even if you are thinking about manifolds, everything is fine. However, it is not immediately obvious how to translate such a statement into the language of schemes and that is one of the biggest hurdles when learning algebraic geometry, so lets walk through how the translation works in this case. 
The formula above already gives a hint as to what is going on in the scheme world. Write $\mathbb{P}^3 = {\rm Proj} \mathbb{C}[z_{00},z_{01},z_{10},z_{11}]$. Being slightly imprecise (you can fix this by talking about line bundles) the homogeneous polynomial $z_{ij}$ pulls back to $x_i y_j$. This means that regular function $ z_{pq} / z_{ij}$ pulls back to $ x_p / x_i \cdot y_q / y_j $ which is a regular function on $ D_+(x_i) \times D_+(y_j)$. We have described a morphism $D_+(x_i) \times D_+(y_j) \to D_+(z_{ij})$. Both of these schemes are affine so we only need to explain how regular functions pull back to describe the morphism. Now we want to glue all of these morphisms together. It is a little messy to write down but you can algebraically verify that both of the morphisms $D_+(x_i) \times D_+(y_j) \to D_+(z_{ij})$ and $D_+(x_i') \times D_+(y_j') \to D_+(z_{i'j'})$ restrict to the same morphism
$$ D(x_i' / x_i) \times D(y_j' / y_j) \to D(z_{i'j'} / z_{ij}) $$ 
modulo changing coordinates (when you change coordinates on a product, you change coordinates on each component independently). This means they glue to give us an affine morphism $ \mathbb{P}^1 \times \mathbb{P}^1 \to \mathbb{P}^3 $ under which $z_{ij}$ pulls back to $ x_i y_j$.
A: Sorry, if my answer is to ambiguous. 
An object $X$ e.g a curve,  a morphism, is a subset of a bigger set e.g $\mathbb{C}^n$ or the set of pairs $(x,y)$.  To describe $X$ is to give some restrictions that defined it.  Whenever someone says "the contruction is algebraic" I imagine those restrictions are "locally" given by algebraic relations e.g polynomials.  Similarly, whenever someone says "an object or relation is algebraic". I imagine that it can be constructed by "a finite combination of steps or operations" 
