El conjunto C es la intersección de A y B, si para todo elemento x de C, se cumple que x es elemento de A y de B.