# Semantic search

Paranormal implies polynormal, Paranormal implies weakly closed in intermediate nilpotent, Paranormal implies weakly normal, Paranormal not implies pronormal, Paranormality is strongly join-closed, Strongly paranormal implies paranormal, Weakly normal subgroup of symmetric group must move more than half the elements