In the following post: (Confusion between principal ideal and ideal) on clarification between the concepts of ideals and principal ideals, @Yury stated: "... if $I$ is a principal ideal then every element of $I$ is a multiple of $$ (for some fixed $\in I$) (2) Every ideal contains a principal ideal but not the other way around." I try to write out precisely what it means by not every ideal is a principal ideal in mathematical notation.
What I would like is to see if I can phrase what Yury stated in mathematical notations. I know this may sound a bit pedantic. I just would like to make sure I am crystal clear if I cross all the Ts and dot all the Is when it comes to formulating it in terms of the correct quantifiers.
Definition of an Ideal:
An $\textbf{ideal}$ of a ring $R$ is a subring $I$ of $R$ such that for all $x\in R$ and $y\in I$, both $xy \in I$ and $yx \in I$
Definition of Principal Ideal:
Let $R$ be a commutative ring with a unit element. An ideal $I$ of $R$ is $\textbf{principal}$ if there exists $d\in R$ such that $I=(d)= \{rd\mid r\in R\}.$ In this case, $d$ is said to $\textbf{generate} I$
Yury's statement part (1) would mean: if we given a commutative ring $R$ with unit element, for any ideal $I$ of $R$, there exists an $a\in R$ such that $(a) \subset I$, where $(a)=\{ar: \forall r \in R\}$ contains principal ideals trivially. For part (2) of his statement, in mathematical notation, it translate to: There exists an ideal $I$ of $R$ such that $I \not\subset (a)$, meaning there exists an ideal $I$ of $R$ and a $x \in I$ $x \neq ar$ for all $a$, $r \in R$
I am not certain if how I put Yury's statements in mathematical notations is accurate. IF someone can comment and point out any errors, it will be much appreciated. Thank you in advance