is a specific kind of: enter, infix, insert, introduce.

entailment: join.

is the opposite of: disconnect, unplug.

derivation: connecter, connection, connective, connector, connexion.