noun Mathematics. a net in a topological space that is residually in every set or its complement in the space.