Measure theory review: what is a -algebra?

Definition.A -algebra on a set is a subset such that

Intution: a -algebra represents a collection of questions that we are allowed to ask of an element of

Example.If , then there is a -algebra given by
This represents the questions we can ask about a point in given we know its first component