The topology of pointwise convergence on $Y^X$, where $Y$ is a topological space and $X$ is a set, is defined to be the topology that topologize the pointwise convergence of mappings from $X$ to $Y$.
In the definition, I was wondering if the pointwise convergence here is for all nets of mappings or all sequences of mappings? I am thinking it is the former, but in what I have seen sequences are mentioned all the time in a non-definition context that a sequence converges wrt the topology of pointwise convergence iff the sequence converges pointwise.
Or when specifying the topology of pointwise convergence, one has to also specify whether the convergence is for nets or sequences? If nets or sequences are not specified, which one is the default?
Thanks and regards!