Explorador de Igualdades: Noções Básicas