Directed sets, nets, ideals, filters, and maps. Formalized Mathematics (0)

by G Bancerek