右对齐非数学文本的标签列表

Question

我正在尝试制作一个带标签的公理列表，如下所示：

\documentclass{article} 
\usepackage{amsmath, amsthm, amssymb}
\begin{document}
\begin{itemize}
    \item[(Reflexivity)] For all $a \in P$ we have that $a \leq a$, 
    \item[(Transitivity)] For all $a,b,c \in P$ s.t. 
                      $a \leq b, b\leq c$ we have that $a\leq c$.
\end{itemize}
\end{document}

但这会导致标签超出文档的左边距。

如何向此列表添加右对齐标签？也许以类似于环境中的 && 的方式align？

我将非常感激任何对此的帮助，谢谢。

编辑 - 有人建议修改左边距间距来解决这个问题。虽然这足以解决文本超出边距的问题，但我仍然对提出的问题的解决方案感兴趣 - 即右对齐标签。

进一步澄清 - 我意识到我还没有完全清楚地表达自己。我想要一个项目符号列表（以条目、描述等形式），其中有标签（反身性、传递性、反对称性）右侧列表 - 即右对齐到页面的右侧边缘。我无法在我的 MWE 中执行此操作，因此它们显示为项目符号列表。有人可以演示如何在 RHS 上创建标签吗：

\documentclass{article} 
\usepackage{amsmath, amsthm, amssymb}
\begin{document}
\begin{itemize}
    \item For all $a \in P$ we have that $a \leq a$,    (Reflexivity)
    \item For all $a,b,c \in P$ s.t. 
          $a \leq b, b\leq c$ we have that $a\leq c$.   (Transitivity)
%%Here achieved  with spaces
\end{itemize}
\end{document}

Answer 1

具有环境的两种变体description，enumitem以及eqparbox：

\documentclass{article}
\usepackage[showframe]{geometry}
\usepackage{enumitem}
\usepackage{eqparbox}
\usepackage{amsmath, amsthm, amssymb}

\begin{document}

\begin{description}[font = \normalfont, labelsep = 2em]
    \item[{\eqparbox{A}{(Reflexivity)}}] For all $a \in P$ we have that $a \leq a$,
    \item[\eqparbox{A}{(Transitivity)}] For all $a,b,c \in P$ s.t.
                      $a \leq b, b\leq c$ we have that $a\leq c$.
\end{description}
\vspace{1cm}
\begin{description}[font = \normalfont, labelsep = 2em]
    \item[{\eqparbox{A}{\hfill(Reflexivity)}}] For all $a \in P$ we have that $a \leq a$,
    \item[\eqparbox{A}{\hfill(Transitivity)}] For all $a,b,c \in P$ s.t.
                      $a \leq b, b\leq c$ we have that $a\leq c$.
\end{description}

\end{document} 

更新：

澄清问题的代码如下listliketab：

\documentclass{article}
\usepackage[showframe]{geometry}
\usepackage{enumitem}
\usepackage{listliketab, tabularx, makecell}
\usepackage{amsmath, amsthm, amssymb}

\begin{document}

\storestyleof{itemize}
\begin{listliketab}
\noindent
\begin{tabularx}{\linewidth}{@{}LXl@{}}
 \textbullet & For all $a \in P$ we have that $a \leq a$, & (Reflexivity) \\
\textbullet & For all $a,b,c ∈ P$ s.t. \newline
                          $a \leq b, b\leq c$ we have that $a\leq c$. & \makecell[tl]{\\(Transitivity)}
\end{tabularx}
\end{listliketab}

\end{document}