injective

surjective

bijective

inverse

compositioned of functions, when defined, is associative

if f is invertible, its inverse is unique

the cardinality of Sn is n!

A function f:S->T is invertible iff it is bijective.

Invariance of Parity

Schroeder-Bernstein

self

magma

group

monoid

idempotent

subgroups

group homomorphism

bijective homomorphisms of groups

kernel

ring

field

Cancellation Laws

Group Properties

total 9 propositions