**Field definition math:** A set S is called a field if the operations of addition ‘+ ’ and multiplication ‘. ’ on S satisfy

the following properties are written in tabular form:

Addition |

Closurefor any set [katex] S\: a,b\in S \newline a+b \in S [/katex] Commutativityfor any [katex]\: a,b\in S \newline a+b = b+a[/katex] Associativityfor any [katex]\: a,b,c\in S \newline \left ( a+b \right )+c = a+\left ( b+c \right )[/katex] Existence of Identityfor any [katex]a\in S\: \exists \: 0\in S[/katex] such that [katex]a+0=0+a=a[/katex] Existence of Inversesfor any [katex]a\in S\:\: \: \exists \: -a\in S[/katex] such that [katex]a+\left ( -a \right )=\left ( -a \right )a=0[/katex] Distributivityfor any [katex]a,b,c\in S \newline a\left ( b+c \right )=ab+ac \newline or\: \: \: \left ( b+c \right )a=ba+ca[/katex] |

Multiplication |

closurefor any set [katex] S\: a,b\in S \newline a\times b \in S [/katex] Commutativityfor any [katex]\: a,b\in S \newline a\times b = b\times a[/katex] Associativity for any [katex]\: a,b,c\in S \newline \left ( a+b \right )+c = a+\left ( b+c \right )[/katex] Existence of Identityfor any [katex]a\in S\: \exists \: 1\in S[/katex] such that [katex]a.1=1.a=a[/katex] Existence of Inversesfor any [katex]a\in S\:\: \:;a\neq 0\: \: \exists \:\: \: \frac{1}{a}\in S[/katex] such that [katex]a\left ( \frac{1}{a} \right )= \left ( \frac{1}{a} \right )a= 1[/katex] Distributivityfor any [katex]a,b,c\in S \newline a\left ( b+c \right )=ab+ac \newline or\: \: \: \left ( b+c \right )a=ba+ca[/katex] |

**All the above mentioned properties hold for [katex]\Re \: \: \:\: \mathbb{C}\: \: \: \: \mathbb{Q}[/katex]**.

**Hence [katex]\Re \: \: \:\: \mathbb{C}\: \: \: \: \mathbb{Q}[/katex] are a field in math**