Eastern Orthodox Church

Deductions

• religious denomination is for example Eastern Orthodox Church ⇐ (Eastern Orthodox Church is a religious denomination), (is a is inverse of is for example)
• Eastern Orthodox Church is a religious denomination ⇐ (Christian denomination is subclass of religious denomination), (Eastern Orthodox Church is a Christian denomination)
• Christian denomination is for example Eastern Orthodox Church ⇐ (Eastern Orthodox Church is a Christian denomination), (is a is inverse of is for example)