Russian Orthodox Church

Deductions

• Russian Orthodox Church is part of Eastern Orthodoxy ⇐ (Russian Orthodox Church is part of Eastern Orthodox Church), (Eastern Orthodox Church is part of Eastern Orthodoxy), (is part of is a transitive relation)
• national Church is for example Russian Orthodox Church ⇐ (Russian Orthodox Church is a national Church), (is a is inverse of is for example)