You misunderstood something. Since $\tau$ only includes subsets of $X$. It does not include $\mathcal P(X)$ itself as an element.
Instead it includes every element of $\mathcal P(X)$ (read: subset of $X$) which can be written as the union of these singletons. Which subsets are these?
Yes, this is correct. Every subset of $X$ is open in this case.
As for the final question, yes, it is possible to have bases of different cardinalities, for example by taking $\{\{a\},\{b\},\{c\},\{a,b\}\}$ you obtain another basis for the same topology, and of course the topology itself is always a basis for itself.
Munkres confuses you. (and many more, judging by the many similar questions here)
In the first situation, the topology $\mathcal{T}$ is already given and you want to have a "smaller description" for it, some set of "essential" open sets, such that all open sets are unions of open sets from the base (analogous to that in a vector space all vectors are linear combinations of vectors from the basis), in topology we don't ask that this be done in a unique way, but every open set must be a union of a subcollection of the base. This is the condition expressed by
$$\forall U \in \mathcal{T}: \forall p \in U: \exists B \in \mathcal{B}: p \in B \subseteq U$$
The conditions $(1)$ and $(2)$ are for a different situation: you have a set and a collection $\mathcal{B}$ of subsets of $X$ that you want to be a base for some yet to be defined topology $\mathcal{T}$ (in the above sense). So you want the set of unions from $\mathcal{B}$:
$$\mathcal{T} = \{ \bigcup \mathcal{B}' : \mathcal{B}' \subseteq \mathcal{B}\}$$
to be a topology, and then $\mathcal{B}$ is by definition a base for $\mathcal{T}$. But it turns out that the two conditions have to be met by $\mathcal{B}$ in order to be able to prove that $\mathcal{T}$ is a topology: $(1)$ is needed to get $X \in \mathcal{T}$ and $(2)$ is for finite intersections of sets from $\mathcal{T}$ to be in $\mathcal{T}$ (recall the axioms for a topology).
So the second part solves a different problem: to define a topology by giving a base (this will be done for metric and ordered spaces, and product topologies too; it's a very basic tool). The first is to "reduce" a given topology to a more manageable subset (e.g. the intervals with rational endpoints are a countable base for $\Bbb R$) and e.g. knowing there is a countable base for a given topology is a very strong property (it sometimes lets us conclude there must be a metric on the space, e.g.).
Best Answer
This is a completely revised version of my previous answer, which was not correct. The existence of a major error in my previous answer was recently pointed out to me by Merk Zockerborg.
The main result relevant to the question asked by user 170039 is Corollary 2 below.
Contents
Basis for a topological space $(X,\tau).$
Given ${\mathcal B} \subseteq {\cal P}(X),$ find a topology ${\tau}_{\mathcal B}$ on $X$ such that $\mathcal B$ is a basis for $(X,\tau_{\mathcal B}).$
Comparing $\tau$ and $\tau_{\mathcal B}$ when $(X,\tau)$ is a topological space and ${\mathcal B} \subseteq {\cal P}(X)$ is such that $(X,\tau_{\mathcal B})$ is a topological space.
Notation: $X$ is a set and ${\cal P}(X)$ is the collection of all subsets of $X.$ The (sometimes subscripted) symbols $\tau$ and $\mathcal B$ will denote subsets of ${\cal P}(X).$ Most of the time (but not always) $\tau$ will be a topology on $X$ and $\mathcal B$ will be a basis for a topology on $X.$
In the spirit of making this an expository overview of some introductory ideas that arise when introducing the notion of a basis for a topological space, I am not including proofs of the stated theorems. However, those actively studying this topic in topology may find it useful to provide proofs.
1. Basis for a topological space $(X,\tau).$
Note: The term "base" is more commonly used than "basis", but I'll use "basis" in agreement with the usage by user 170039.
Roughly speaking, if we consider (open) neighborhoods of $x$ as "measures of being close to $x$", where being closer to $x$ is described by the use of a smaller (in the subset sense) neighborhood of $x,$ then a basis for $\tau$ is a subcollection of open sets that is sufficient to describe being arbitrarily close to any given point.
Note that this notion of being close to $x$ has more structure to it than a notion entirely based on the subset relation, because we also have the property that any finite number of "close to $x$ conditions" can be replaced by a single "close to $x$ condition", due to the finite intersection property of open sets. More specifically, being simultaneously $U_1$-close to $x$ and $U_2$-close to $x$ can be replaced by being $(U_1 \cap U_2)$-close to $x$ in the case of $\tau,$ and by being $V$-close to $x$ for some $\mathcal B$-element $V$ such that $V \subseteq U \overset{\text{def}}{=} U_1 \cap U_2$ in the case of $\mathcal B.$ For example, suppose $X = \{x,y,z\}$ and $\tau = \{\;\{x,y\}, \; \{y,z\}\;\}.$ Note that $\tau$ is not a topology on $X.$ Nonetheless, we can still talk about being close to elements of $X.$ For example, there is the notion of being "$\{x,y\}$-close to $y$" and there is the notion of being $\{y,z\}$-close to $y.$ However, note that there is no single closeness condition that implies each of these conditions, because the only subset of $X$ containing $y$ that is a subset of $\{x,y\}$ and a subset of $\{y,z\}$ is $\{y\},$ and $\{y\} \not \in \tau.$
A topology can have more than one basis. For example, in the case of the real numbers with its usual topology, the collection of all open intervals of finite length is a basis and the collection of all open intervals of finite length with rational endpoints is a basis.
Question: [This occurred to me when I was writing these notes, and I thought others here might be interested.] How many bases exist for the usual topology of the real numbers? The answer is $2^{c}.$ Since each such basis is a collection of open sets, and there are $2^c$ many collections of open sets of $\mathbb R$ (because there are $c$ many open sets of ${\mathbb R}),$ it follows that there are at most $2^c$ many bases for the usual topology of the real numbers. The following shows that there are at least $2^c$ many bases for the usual topology of the real numbers. Let $D_1$ and $D_2$ be disjoint subsets of ${\mathbb R}$ such that $D_1$ has cardinality $c$ and $D_2$ is dense-in-${\mathbb R}$ (for example, $D_1$ could be the set of irrational numbers between $0$ and $1,$ and $D_2$ could be the set of rational numbers), and consider the collection of open intervals each of whose endpoint(s) belongs to $D_1 \cup D_{2}.$ This collection of open intervals is a basis for ${\mathbb R}.$ Moreover, if we remove from this collection any set consisting only of open intervals each of whose endpoint(s) belongs to $D_{1},$ then what remains will also be a basis, and there are $2^c$ many ways to remove such sets of intervals from the original collection of open intervals (because there are $2^c$ many subsets of the collection of open intervals each of whose endpoint(s) belongs to $D_{1}).$
Regarding (b) above, we are using the convention that an empty union of sets is possible, and that an empty union of sets is equal to the empty set.
Theorems 1 and 2 together imply that we could have defined "$\mathcal B$ is a basis for $(X,\tau)$" by replacing (b) in our earlier definition with (b) in Theorem 1. This alternate way of defining a basis for $(X,\tau)$ is used in some books.
Note that (b) in Theorem 1 provides a way to generate all elements of $\tau$ from the elements in $\mathcal B$ — take unions. This is analogous to having a way to generate all elements in a vector space from a (vector space) basis — take linear combinations.
2. Given ${\mathcal B} \subseteq {\cal P}(X),$ find a topology ${\tau}_{\mathcal B}$ on $X$ such that $\mathcal B$ is a basis for $(X,\tau_{\mathcal B}).$
Suppose that no topology on the set $X$ has been provided. Can we obtain a topology ${\tau}_{\mathcal B}$ on $X$ by picking some collection $\mathcal B \subseteq {\cal P}(X)$ and letting ${\tau}_{\mathcal B}$ be the collection of all possible unions of elements in $\mathcal B$?
Perhaps we can fix the problem that arises in Example 1 by assuming $\cup {\mathcal B} = X.$ Note that $\cup {\mathcal B} = X$ is equivalent to the first bullet assumption in user 170039’s statement of the definition of "basis for a topology" from Munkres's book. Example 2 shows that having $\cup {\mathcal B} = X$ is not sufficient for ${\tau}_{\mathcal B}$ to be a topology on $X.$
It turns out that fixing both problems, namely the problem that Example 1 illustrates and the problem that Example 2 illustrates, is sufficient for ${\tau}_{\mathcal B}$ to be a topology on $X.$
In some books Theorem 3 is buried in results about a subbasis for a topological space. Explicit statements of it can be found in Theorem 3.50 on p. 26 of Introduction to General Topology by Helen Frances Cullen (1968) and in 2.2 Base Characterization on p. 153 of An Introduction to Topology and Homotopy by Allan John Sieradski (1992). On the off-chance that anyone looks at Cullen's book, note that in her book she assumes an empty intersection gives the underlying universal set (see top of p. 416). Since this is not a standard assumption, I've avoided this assumption by including (a).
Theorem 4 is the more commonly stated condition for a collection of subsets of $X$ to generate a topology on $X,$ where the method of generation is by using the collection of all possible unions of elements in that collection of subsets. At the risk of stating the obvious, if $\mathcal B$ satisfies the assumptions in Theorem 3 and $\mathcal B$ also satisfies the assumptions in Theorem 4 (in fact, one can show that satisfying the assumptions in either theorem implies satisfying the assumptions in the other theorem), then the topology obtained using Theorem 3 is the same as the topology obtained using Theorem 4. This follows from the fact that in each theorem the same procedure is used to obtain the topology, namely the topology is the collection of all possible unions of elements in ${\mathcal B}.$
One the things that (b) in Theorem 4 does is to incorporate our earlier observation (long paragraph a little below the definition of "basis") that finitely many "close to $x$" conditions can be replaced by a single "close to $x$" condition. Note that in Example 2, ${\tau}_{\mathcal B}$ has the property that "$\{x,y\}$-close to $y$ and $\{y,z\}$-close to $y$" cannot be equaled or strengthened by any single ${\tau}_{\mathcal B}$-closeness notion.
In our earlier vector space analogy, Theorems 3 and 4 are somewhat akin to finding conditions under which a set of vectors is a linearly independent set, then defining the linear span of those vectors, and finally observing that the linear span of those vectors forms a vector space.
3. Comparing $\tau$ and $\tau_{\mathcal B}$ when $(X,\tau)$ is a topological space and ${\mathcal B} \subseteq {\cal P}(X)$ is such that $(X,\tau_{\mathcal B})$ is a topological space.
Let $(X,\tau)$ be a topological space and let $\mathcal B$ be a collection of subsets of $X$ satisfying the assumptions in either Theorem 3 or Theorem 4 (or both). In this situation we have two topological spaces to contend with, $(X,\tau)$ and $(X,\,\tau_{\mathcal B}).$ In general, we have $\tau \neq \tau_{\mathcal B}.$ Indeed, there is no reason why we would expect there to be any relation between $\tau$ and $\tau_{\mathcal B},$ aside from the fact that each is a collection of subsets of $X$ that satisfies the axioms for a topology on $X.$
Example 4, due to Merk Zockerborg, shows that ${\mathcal B} \subseteq {\tau}$ is not sufficient to conclude that $\tau = \tau_{\mathcal B}.$
Corollary 2 below gives one possible assumption that, along with the assumption ${\mathcal B} \subseteq {\tau},$ is sufficient to conclude that $\tau = \tau_{\mathcal B}.$
$\;$
$\;$
Proof of Corollary 2: From ${\mathcal B} \subseteq {\tau}$ and the fact that $\tau$ is closed under arbitrary unions, it follows that $\tau_{\mathcal B} \subseteq {\tau}.$ Applying Theorem 5 with ${\mathcal B}_1 = \tau$ and ${\mathcal B}_2 = {\mathcal B},$ and observing that ${\tau}_{{\mathcal B}_1} = {\tau}_{\tau} = \tau$ (because $\tau$ is closed under arbitrary unions), we get $\tau \subseteq \tau_{\mathcal B}.$ (The notation is slightly confusing, since in ${\tau}_{\tau}$ the subscripted $\tau$ is a topology on $X$ and the other $\tau$ is part of the notation that symbolizes the result of carrying out a certain operation on subscripted set.)