Be the same map as `` f '' preordered as a map between the corresponding considered sets . Then W ( g ) is a monotone function .
Be the same map as `` f '' considered as a map between the corresponding preordered sets . Then W ( g ) is a monotone function .