:disappointed_relieved:

android:clickable="true"
android:background="?android:selectableItemBackground"

Legyen G egy csoport és legyen H a G egy részcsoportja. Vezessük be az a ∼ b, ha ab−1 ∈ H relációt. Ez ekvivalenciareláció. Vizsgáljuk meg az ekvivalenciaosztályokat. Azt állítjuk, hogy a ∈ G ekvivalenciaosztálya a Ha halmaz. Ha b ∈ Ha, akkor b = ha valamely h ∈ H-ra. Innen ba−1 = h, azaz ab−1 = h−1 ∈ H. Megfordítva, ha a ∼ b, akkor ab−1 = h ∈ H, ahonnan b = h−1a ∈ H−1a ⊂ Ha. Ha most az a ∼ b, ha b−1a ∈ H ekvivalenciarelációt vezetjük be, akkor hasonlóan számolva kapjuk, hogy az a ekvivalenciaosztálya az aH halmaz. Az előző ekvivalenciaosztályokat a G csoport H szerinti jobb oldali mellékosztályainak, az utóbbiakat pedig bal oldali mellékosztályainak nevezzük.

Ha ez celzas volt, azota kerult szebb a vagolapra.
pub = λ Emberek iszik vanember → case _ (λ f → (proj₁' f ,' λ g h → abort _ ((proj₂' f) g))) (λ f → (proj₁' vanember ,' λ g → (l4 Emberek iszik) f)) (lem ( ∃ Emberek (λ x → ¬ iszik x)))

Dé Dé Elesdé DéDé ElesDÉ