#normal group

[jackhkeynes]

Fun Definition of a Lattice

A lattice can also be defined as an algebraic structure, with the binary operations ∧ and ∨ and the constants ⊤ and ⊥.

Here are the axioms for these operations:

∧ and ∨ are each idempotent, commutative, and associative;

the absorption laws: a∨(a∧b)=a, and a∧(a∨b)=a ;

⊤ and ⊥ are the respective identities of ∧ and ∨.

(taken from nlab)

this presentation reminds me of the group axioms :D

they kinda obscure the mental image of what's going on though hmm

@normal-group

[mydaystan]

I haven't been on Twitter for so long and now I know why. I just saw someone say that Day6 should ditch their instruments and particularly the drum. Dear person who thought, wrote and posted that.. whoever you may be, be careful of what you say. Don't you ever disrespect Dowoon like that again.