Adicionado MENU de opções, implementando a propriedade reflexiva.

Adicionado o menu de opção, usando switch case.

AINDA FALTA PASSAR O VALOR DO CONJS POR REFERENCIA E VERIFICAR SE TODO X PERTENCE AO COJUNTO S;