Coggle requires JavaScript to display documents.
Si n>n0, f(n) verdadero implica que f(n+1) también es cierto
Entonces f(k) es verdadero para todos los k>=n0
Si una expresión f(n) es verdadera para algún valor entero n0
MemberState indica que cuando está en EmptyState, BSet irá a Memberstate cuando se invoquen los métodos Push o Add. Las condiciones son más complejas.
EmptyState, entendemos que BSet y los métodos Pop y de Sustracción están en un estado vacío.