Pencarian berdasarkan :
Pencarian terakhir:
untuk setiap dan . Pada semialjabar atas dapat didefinisikan