is empty relation symmetric