Propriedades de relações binárias: reflexividade, simetria, antissimetria e transitividade

Como verificar se uma relação binária é reflexiva, se é simétrica, se é antissimétrica e se é transitiva.