trivial relation as equivalence relation

1. Proposition

Let \(S\) be a set, then the trivial relation is an equivalence relation

2. Proof

definitions

Date: nil

Author: Anton Zakrewski

Created: 2024-10-14 Mo 08:48