Finite Element Abstractions