Reducibility, implication, inclusions: Math symbols & Computability & Cryptography

From a math background, I got really confused by the notation of reducibility while studying Theory of Computability. And now I am studying computer security where this ghost come back. Hereby I write a note to clearify them.