If <YAU=<YAE+<EAU and <YAU=<YAK+<KAU then <YAE+<EAU=<YAK+<KAU is because?

Reflective
Transitive
Substitution
Symmetric

Substitution