Según la ley de idempotencia del producto: $\forall a\in \mathfrak{B}:\;a\odot a=a$ donde $a\odot a$ se define como la clase de todas las cosas que tienen la propiedad que define $a$ y la propiedad que define $a$. Es decir, la clase $a\odot a=a$. %% [[Stewart2022]] %% #Rev/2602 #Tipo/Definición