Digraf adalah pasangan himpunan ((), ()), dengan () adalah
himpunan titik dan () adalah himpunan busur . Digraf dapat
direpresentasikan ke dalam matrik adjacency-skew (), dari matrik adjacency-
skew () diperoleh nilai eigen digraf . Penjumlahan dari harga mutlak nilai
eigen digraf disebut energi skew digraf . Dari digraf diperoleh matriks
pada , , ,., , sedangkan () = () ? () disebut matriks laplacian
merupakan penjumlahan dari determinan submatriks order 2, merupakan
untuk setiap dan . Pada semialjabar atas dapat didefinisikan
suatu kongruensi. Kongruensi pada semialjabar atas merupakan kongruensi