State whether the following relations is a partial order
I looked at the relations
is Ancestor of
A is an ancestor of A = reflexive
if A is an ancestor of B then B is not an ancestor of A
if A is an ancestor of B and B is an ancestor of C then A is an ancestor of C.
The one I am stuck on is the antisymmetric.
Looking back I think the first two are yes and the last one is no
This is either a badly worded question or you did not take time to type up the exact question.
Usually a well written question would have given the domain of the relation.
Moreover, it is not good form to use such term as ancestor without defining it.