Keskustelu:Potenssijoukko

Eikö tuossa määritelmän kaavassa kuuluisi olla A:n ja B:n välissä osajoukon merkintä, ei aidon osajoukon merkintää? Eli täytyisi lisätä viiva 'kallellaan olevan U:n' alle? 84.251.168.109 23. kesäkuuta 2006 kello 16.47 (UTC)

Tämä ongelma johtuu rikkaasta tavasta merkitä osajoukkoja. Joskus osajoukkoa merkitään symbolilla $\subset$, joskus vain symbolilla $\subseteq$. Tässä voitaisiin hakea sellainen kompromissi, että

jos $A$ on mielivaltainen joukko, niin pätee ${\mathcal {P}}(A)=\{B\,|\,B\ {\textrm {on}}\ {\textrm {joukon}}\ A\ {\textrm {osajoukko}}\}$.

--Hautala 23. kesäkuuta 2006 kello 18.15 (UTC)

Eikös kompromissi olisi jättää formaali merkintä $\subseteq$ sanallisen ilmaisun lisäksi. Ainakin minut kommentoimaan ajoi se, että on helposti näyttää kymmeniä teoksia, joissa erottelu näiden välillä on tarkasti juurikin niin kuin ensin kommentoinut sanoi.

--Demise 14. marraskuuta 2006 kello 22.57 (UTC)