La ley de idempotencia de la suma establece que: $\forall a\in \mathfrak{B}:\;a\oplus a=a$ %% [[Stewart2022]] %% #Rev/2602 #Tipo/Definición