Title: Nets and filters in topology