power-set public under mathematical-set 77 List Picture As a command Nothing is filed under power-set.